Skip to content

Do not flag match types as Deferred and amend #20077#20147

Merged
odersky merged 3 commits intoscala:mainfrom
dotty-staging:match-types-deferred
Apr 10, 2024
Merged

Do not flag match types as `Deferred` and amend #20077#20147
odersky merged 3 commits intoscala:mainfrom
dotty-staging:match-types-deferred

Commits

Commits on Apr 9, 2024

Commits on Apr 10, 2024