Consider this example:
from typing import Any
class B:
x: int
class C(B):
y: int
x: B | int
y: C | Any
assert x == y
reveal_type(x) # Revealed type is "test.B | int", OK
reveal_type(y) # Revealed type is "Any | test.B | int", why???
y.y # Error here, previously this worked.cc @hauntsaninja I didn't bisect, but there is high chance this may be caused by one of the recent narrowing changes.
Consider this example:
cc @hauntsaninja I didn't bisect, but there is high chance this may be caused by one of the recent narrowing changes.