Skip to content

Detect case where two alternatives are the same after widening ExprTypes#18787

Merged
odersky merged 4 commits intoscala:mainfrom
dotty-staging:fix-18768
Oct 30, 2023
Merged

Detect case where two alternatives are the same after widening ExprTypes#18787
odersky merged 4 commits intoscala:mainfrom
dotty-staging:fix-18768

Commits

Commits on Oct 29, 2023

Commits on Oct 30, 2023