Backport "Fix regression in exhausitivity of HK types"#18374

Merged

Kordyjan merged 3 commits intoscala:release-3.3.1from

dotty-staging:backport-18303

Aug 10, 2023

Commits on Aug 9, 2023

Space: Fix intersectUnrelatedAtomicTypes tracing

dwijnand
authored and
Kordyjan
committed
Space: Make isDecomposableToChildren ignore type constructors

dwijnand
authored and
Kordyjan
committed
Space: Revert how invariant targs are erased to fix regression

dwijnand
authored and
Kordyjan
committed