False negative: override of @final property #9795
Description
The typing spec indicates that @final should be enforced for properties, but pyright doesn't emit an error in this case.
from typing import final
class Base:
@final
@property
def prop(self) -> int:
return 1
class Child(Base):
# This should result in an error.
@property
def prop(self) -> int:
return 2Refer to this thread.