Fix an issue with infinite loops while typechecking some expressions#4274

Merged

SeanTAllen merged 11 commits intomainfrom subtyping-infinite-loops-fix

Dec 23, 2022

Commits on Dec 13, 2022

Fix coinductive subtyping of interfaces.
Jason Carr
committed
Traits also need coinductivity due to f-bounded arguments
Jason Carr
committed
Add subtype test for this case with U8
Jason Carr
committed

Commits on Dec 20, 2022

Don't restrict which subtype checks use coinductivity for equality
Jason Carr
committed
Update test
Jason Carr
committed
Change test to be more precise
Jason Carr
committed
Add release notes
Jason Carr
committed
Fix/Clean test for test environment
Jason Carr
committed

Commits on Dec 22, 2022

Move regression test to libponyc-run
Jason Carr
committed

Commits on Dec 23, 2022

Fix name overlap
Jason Carr
committed
Update comment to clarify check timing.
Jason Carr
committed