Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 5 additions & 0 deletions mypy/checkmember.py
Original file line number Diff line number Diff line change
Expand Up @@ -1150,6 +1150,11 @@ def analyze_class_attribute_access(
of E in the expression E.var, original_vars are type variables of the class callable
(for generic classes).
"""

mcs_func_info = mcs_fallback.type.get_method(name)
if isinstance(mcs_func_info, Decorator) and mcs_func_info.var.is_property:
return analyze_decorator_or_funcbase_access(mcs_func_info, mcs_fallback, name, mx)

info = itype.type
if override_info:
info = override_info
Expand Down
28 changes: 28 additions & 0 deletions test-data/unit/check-classes.test
Original file line number Diff line number Diff line change
Expand Up @@ -9850,3 +9850,31 @@ fs = [lambda df, x: df.foo, f]
reveal_type(fs) # N: Revealed type is "builtins.list[def (Any, Any) -> builtins.int | Any]"
fs2 = [f, lambda df, x: df.foo]
reveal_type(fs2) # N: Revealed type is "builtins.list[def (Any, Any) -> builtins.int | Any]"

[case testMetaclassProperty]
class M(type):
@property
def f(cls) -> str:
return "1"

@property
def g(cls) -> str:
return "1"

def h(cls) -> str:
return "2"

class A(metaclass=M):
@property
def f(self) -> str:
return type(self).f

g: int = 1

reveal_type(A.f) # N: Revealed type is "builtins.str"
reveal_type(A().f) # N: Revealed type is "builtins.str"
reveal_type(A.g) # N: Revealed type is "builtins.str"
reveal_type(A().g) # N: Revealed type is "builtins.int"
reveal_type(A.h) # N: Revealed type is "def () -> builtins.str"

[builtins fixtures/property.pyi]
Loading