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 https://github.com/python/mypy/issues/6759#issuecomment-521695300