Overriding method with a property results in a false negative

[ilevkivskyi]

This tests spuriously passes:

[case testOverrideProperty]
class B:
    def foo(self) -> int:
        ...
class C:
    @property
    def foo(self) -> int:
        ...
[builtins fixtures/property.pyi]

The best long-term approach to fixing this is likely the same as #6759 (comment)

[ilevkivskyi]

Note that the "reverse" override causes a false negative as well, see the example in #8386