Backport "Avoid bidirectional GADT typebounds from fullBounds"#16945

Merged

Kordyjan merged 7 commits intoscala:release-3.3.0from

dotty-staging:backport-15683

Feb 17, 2023

Commits on Feb 17, 2023

Split out immutable GadtConstraint

dwijnand
authored and
Kordyjan
committed
Rename GadtConstraintHandling to GadtState

dwijnand
authored and
Kordyjan
committed
Avoid bidirectional GADT typebounds from fullBounds

dwijnand
authored and
Kordyjan
committed
Drop failsafe checkNonCyclic and document GADT fullBounds change

dwijnand
authored and
Kordyjan
committed
GADT: move dropping GADT symbols into foldLeft

dwijnand
authored and
Kordyjan
committed
GADT: Use isPatternBound, ofc...

dwijnand
authored and
Kordyjan
committed
GADT: Use =:= instead of Any/Nothing

dwijnand
authored and
Kordyjan
committed