Repository navigation
typing.final supports properties #5984
Description
PEP 591: "The method decorator version may be used with all of instance methods, class methods, static methods, and properties."
from typing import final
class Test:
@final
@property
def bar(self):
return "bar"But typing.final is currently annotated as requiring a Callable:
Line 54 in 5f77310
pyright rejects the above code since it is using the typeshed annotations (mypy accepts it for some reason).
error: Argument of type "property" cannot be assigned to parameter "f" of type "_F@final" in function "final"
Type "property" is incompatible with bound type "(*args: Any, **kwargs: Any) -> Any" for type variable "_F@final"
Type "property" cannot be assigned to type "(*args: Any, **kwargs: Any) -> Any" (reportGeneralTypeIssues)
Activity
JelleZijlstra commentedon Aug 30, 2021
Thank you! We should just type it with an unconstrained TypeVar.
BUG: typing.final supports properties (#5985)