write-able properties and fields are treated as covariant when they should be invariant

[KotlinIsland]

class A:
    a: int = 10
    @property
    def foo(self) -> int:
        return 1
    @foo.setter
    def foo(self, value: int) -> None:
        ...
class B(A):
    a: bool = True
    @property
    def foo(self) -> bool:
        return True
    
    @foo.setter
    def foo(self, value: bool) -> None:
        ...

def foo(a: A) -> None:
    a.a = 10
    a.foo = 10
    
    
b = B()
foo(b)
reveal_type(b.a)  # bool, at runtime it's int
reveal_type(b.foo)  # bool, at runtime it's int

https://mypy-play.net/?mypy=master&python=3.10&flags=strict&gist=9433ff90606ac67ec9728212af1edec1

[hauntsaninja]

Thanks, duplicate of #3208