PEP 591: "The method decorator version may be used with all of instance methods, class methods, static methods, and properties."
fromtypingimportfinalclassTest:
@final@propertydefbar(self):
return"bar"
But typing.final is currently annotated as requiring a Callable:
| deffinal(f: _F) ->_F: ... |
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)
xref microsoft/pyright#2242 (comment)
PEP 591: "The method decorator version may be used with all of instance methods, class methods, static methods, and properties."
But
typing.finalis currently annotated as requiring aCallable:typeshed/stdlib/typing.pyi
Line 54 in 5f77310
pyright rejects the above code since it is using the typeshed annotations (mypy accepts it for some reason).
xref microsoft/pyright#2242 (comment)