Backport #15423: Refine Matchtype checking#15500

Merged

odersky merged 4 commits intoscala:release-3.2.0from

dotty-staging:backport-15423

Jun 22, 2022

Commits on Jun 22, 2022

Refine Matchtype checking

odersky
authored and
Kordyjan
committed
Allow uninstantiated match parameters in some cases

odersky
authored and
Kordyjan
committed
Propagate Range through MatchType cases

odersky
authored and
Kordyjan
committed
Fix comments

odersky
authored and
Kordyjan
committed