Fix existing GADT constraints with introduced pattern-bound symbols#22928
Merged
odersky merged 1 commit intoscala:mainfrom Apr 9, 2025
Merged
Fix existing GADT constraints with introduced pattern-bound symbols#22928odersky merged 1 commit intoscala:mainfrom
odersky merged 1 commit intoscala:mainfrom
