Enhanced the `type(y) == x` type guard logic to support the case wher…#9266

Merged

erictraut merged 1 commit intomainfrom issue-9227

Oct 19, 2024

+14-5

Commits on Oct 19, 2024

Enhanced the type(y) == x type guard logic to support the case where y is declared as a type variable with an upper bound that overlaps with the type of x. This addresses #9227 .
erictraut
committed