Skip to content

Fix existing GADT constraints with introduced pattern-bound symbols#22928

Merged
odersky merged 1 commit intoscala:mainfrom
dwijnand:fix-GADT-cstr-with-patbound
Apr 9, 2025

Commits

Commits on Apr 7, 2025