Normalize when verifying if TypeTestCasts are unchecked#20258

Merged

EugeneFlesselle merged 2 commits intoscala:mainfrom

dotty-staging:match-types-TypeTests

Apr 25, 2024

Commits on Apr 24, 2024

Normalize when verifying if TypeTestCasts are unchecked
EugeneFlesselle
committed

Commits on Apr 25, 2024

Only recurse for TypeTests checkability with normalizing match types
EugeneFlesselle
committed