stubtest: Detect abstract properties mismatches

mypy/stubtest.py

@@ -870,16 +870,8 @@ def verify_funcitem(
             return
 
     if isinstance(stub, nodes.FuncDef):
-        stub_abstract = stub.abstract_status == nodes.IS_ABSTRACT
-        runtime_abstract = getattr(runtime, "__isabstractmethod__", False)
-        # The opposite can exist: some implementations omit `@abstractmethod` decorators
-        if runtime_abstract and not stub_abstract:
-            yield Error(
-                object_path,
-                "is inconsistent, runtime method is abstract but stub is not",
-                stub,
-                runtime,
-            )
+        for error_text in _verify_abstract_status(stub, runtime):
+            yield Error(object_path, error_text, stub, runtime)
 
     for message in _verify_static_class_methods(stub, runtime, object_path):
         yield Error(object_path, "is inconsistent, " + message, stub, runtime)
@@ -1044,8 +1036,13 @@ def verify_paramspecexpr(
         return
 
 
-def _verify_readonly_property(stub: nodes.Decorator, runtime: Any) -> Iterator[str]:
+def _verify_property(stub: nodes.Decorator, runtime: Any) -> Iterator[str]:
     assert stub.func.is_property
+    yield from _verify_readonly_property(stub, runtime)
+    yield from _verify_abstract_status(stub.func, runtime)
+
+
+def _verify_readonly_property(stub: nodes.Decorator, runtime: Any) -> Iterator[str]:
     if isinstance(runtime, property):
         return
     if inspect.isdatadescriptor(runtime):
@@ -1066,6 +1063,15 @@ def _verify_readonly_property(stub: nodes.Decorator, runtime: Any) -> Iterator[s
     yield "is inconsistent, cannot reconcile @property on stub with runtime object"
 
 
+def _verify_abstract_status(stub: nodes.FuncDef, runtime: Any) -> Iterator[str]:
+    stub_abstract = stub.abstract_status == nodes.IS_ABSTRACT
+    runtime_abstract = getattr(runtime, "__isabstractmethod__", False)
+    # The opposite can exist: some implementations omit `@abstractmethod` decorators
+    if runtime_abstract and not stub_abstract:
+        item_type = "property" if stub.is_property else "method"
+        yield f"is inconsistent, runtime {item_type} is abstract but stub is not"
+
+
 def _resolve_funcitem_from_decorator(dec: nodes.OverloadPart) -> nodes.FuncItem | None:
     """Returns a FuncItem that corresponds to the output of the decorator.
 
@@ -1122,7 +1128,7 @@ def verify_decorator(
         yield Error(object_path, "is not present at runtime", stub, runtime)
         return
     if stub.func.is_property:
-        for message in _verify_readonly_property(stub, runtime):
+        for message in _verify_property(stub, runtime):
             yield Error(object_path, message, stub, runtime)
         return
 

mypy/test/teststubtest.py

@@ -1391,6 +1391,7 @@ def test_abstract_properties(self) -> Iterator[Case]:
         yield Case(
             stub="""
             class AP1:
+                @property
                 def some(self) -> int: ...
             """,
             runtime="""
@@ -1401,6 +1402,19 @@ def some(self) -> int: ...
             """,
             error="AP1.some",
         )
+        yield Case(
+            stub="""
+            class AP1_2:
+                def some(self) -> int: ...  # missing `@property` decorator
+            """,
+            runtime="""
+            class AP1_2:
+                @property
+                @abstractmethod
+                def some(self) -> int: ...
+            """,
+            error="AP1_2.some",
+        )
         yield Case(
             stub="""
             class AP2: