Force consistent MT post-redux normalisation, disallow infinite match types#18073

Merged

dwijnand merged 4 commits intoscala:mainfrom

dwijnand:mt/recur-cases

Jul 3, 2023

Commits on Jun 27, 2023

Force MT reduction simplification, disallow infinite match types
dwijnand
committed

Commits on Jul 2, 2023

Remove use of simplified in MT reduction
dwijnand
committed

Commits on Jul 3, 2023