SI-9114 Fix crasher in pattern matcher with type aliases

When determining whether or not a pattern match requires an equality
check of the outer instance of a type in addition to a type test,
`needsOuterTest` determines if the intersection of the selector and
the pattern types could be populated. Both type arrive at
`isPopulated` dealised.

However, `isPopulated` recurs when it encounters an existential,
and, as seen in thest case, a failure to dealias the quantified
type can lead to an assertion failure as we try to relate a
typeref to an alias and a typeref to a class.

See also SI-7214, which added deliasing of the pattern type
before calling `isPopulated`.

0 files changed, 0 insertions, 0 deletions