show "narrowed from" for members

[KotlinIsland]

class A:
    a: object
class B(A):
    a: int
a: A
a = B()
reveal_type(a.a)  # N: Revealed type is "int"
# Actually expected N: Revealed type is "int" (narrowed from "object")