Code

Refine Matchtype checking#15423

Code

Merged

odersky merged 4 commits intoscala:mainscala/scala3:mainfrom

dotty-staging:fix-11982dotty-staging/dotty:fix-11982Copy head branch name to clipboard

Jun 19, 2022

Commits

Commits on Jun 12, 2022

• Refine Matchtype checking

  Show description for d9ef974
  odersky

  committed
  d9ef974

  Copy full SHA for d9ef974

• Allow uninstantiated match parameters in some cases

  Show description for 2df96f9
  odersky

  committed
  2df96f9

  Copy full SHA for 2df96f9

• Propagate Range through MatchType cases

  odersky

  committed
  6aba5f7

  Copy full SHA for 6aba5f7

Commits on Jun 13, 2022

• Fix comments

  odersky

  committed
  e9c4539

  Copy full SHA for e9c4539