I recently ran into an issue by accidentally omitting a @Property decorator when overriding a property, like eg:

class A:
@Property
def foo(self) -> bool:
return True

class B(A):
def foo(self) -> bool:
return False

b = B()

bool(b.foo)
True

Wouldn't it make sense to have mypy emit a warning, at least optionally?