Detect case where two alternatives are the same after widening ExprTypes#18787
Merged
odersky merged 4 commits intoscala:mainfrom Oct 30, 2023
Merged
Detect case where two alternatives are the same after widening ExprTypes#18787odersky merged 4 commits intoscala:mainfrom
odersky merged 4 commits intoscala:mainfrom