Approximate MatchTypes with lub of case bodies, if non-recursive#19761

Merged

dwijnand merged 7 commits intoscala:mainfrom

dwijnand:mt/lub-rhss

Mar 4, 2024

Commits on Feb 22, 2024

Approximate MatchTypes with lub of case bodies, if non-recursive
dwijnand
committed

Commits on Feb 26, 2024

Lub MatchTypeTree case body types and store as the inferred bound
dwijnand
committed

Commits on Feb 27, 2024

Commits on Feb 28, 2024

Fix run-macros/type-show
dwijnand
committed

Commits on Mar 4, 2024

Rework ParamRef#underlying handling in disjointnessBoundary
dwijnand
committed