fix: type class issues with `maxSynthPendingDepth := 1`#4119

Merged

kim-em merged 4 commits intomasterfrom tc_issue_exp

May 14, 2024

+205-63

Commits on May 14, 2024

fix: take synthPendingDepth into account when caching TC results

leodemoura
authored and
kim-em
committed
feat: add maxSynthPendingDepth

leodemoura
authored and
kim-em
committed
chore: fix tests

leodemoura
authored and
kim-em
committed
chore: maxSynthPendingDepth := 1

leodemoura
authored and
kim-em
committed