Backport "Update unreducible match types error reporting" to LTS#21024

Closed

WojciechMazur wants to merge 7 commits intolts-20017from

Commits on Jul 4, 2024

Add regression tests

EugeneFlesselle
authored and
WojciechMazur
committed
Revert "ErrorType instead of throwing in match type "no cases""
WojciechMazur
committed
Update check-files and remove i18488.scala

EugeneFlesselle
authored and
WojciechMazur
committed
Make match types with no matching cases not an error
WojciechMazur
committed
Update check-files and error annotations

EugeneFlesselle
authored and
WojciechMazur
committed
Only record in MatchTypeTrace if not previously attempted
WojciechMazur
committed
Do match type reduction atPhaseNoLater than ElimOpaque
WojciechMazur
committed