[Backport] Fix #10747: Raise type error on unreducible match type#13519

Merged

Kordyjan merged 10 commits intoscala:release-3.1.0from

dotty-staging:backport-12768

Sep 16, 2021

Commits on Sep 14, 2021

Fix #10747: Raise type error on unreducible MT

OlivierBlanvillain
authored and
anatoliykmetyuk
committed
Don't simplify MT right-hand sides

OlivierBlanvillain
authored and
anatoliykmetyuk
committed
Update neg test error annotations

OlivierBlanvillain
authored and
anatoliykmetyuk
committed
Don't normalize in VarianceChecker

OlivierBlanvillain
authored and
anatoliykmetyuk
committed
Add test case

OlivierBlanvillain
authored and
anatoliykmetyuk
committed
Fix #12974: Add test case

OlivierBlanvillain
authored and
anatoliykmetyuk
committed
Fix 10747-shapeless-min.scala

OlivierBlanvillain
authored and
anatoliykmetyuk
committed
Update invariantDisjoint check

OlivierBlanvillain
authored and
anatoliykmetyuk
committed
Update check files

OlivierBlanvillain
authored and
anatoliykmetyuk
committed
Disable flaky test

BarkingBad
authored and
anatoliykmetyuk
committed