Skip to content

Fix unsoundness in APPLY and SELECT rules#24159

Merged
odersky merged 20 commits intoscala:mainfrom
dotty-staging:fix-apply-unsoundness
Oct 14, 2025
Merged

Fix unsoundness in APPLY and SELECT rules#24159
odersky merged 20 commits intoscala:mainfrom
dotty-staging:fix-apply-unsoundness

Commits

Commits on Oct 4, 2025

Commits on Oct 5, 2025

Commits on Oct 6, 2025

Commits on Oct 7, 2025

Commits on Oct 8, 2025

Commits on Oct 9, 2025

Commits on Oct 10, 2025