Don't check plugin-generated functions

mypy/checker.py

@@ -1066,6 +1066,9 @@ def check_func_item(
 
         If type_override is provided, use it as the function type.
         """
+        if defn.is_plugin_generated():
+            return
+
         self.dynamic_funcs.append(defn.is_dynamic() and not type_override)
 
         with self.enter_partial_types(is_function=True):
@@ -1324,9 +1327,7 @@ def check_func_def(
                 )
 
                 # Ignore plugin generated methods, these usually don't need any bodies.
-                if defn.info is not FUNC_NO_INFO and (
-                    defn.name not in defn.info.names or defn.info.names[defn.name].plugin_generated
-                ):
+                if defn.is_plugin_generated():
                     show_error = False
 
                 # Ignore also definitions that appear in `if TYPE_CHECKING: ...` blocks.

mypy/nodes.py

@@ -710,6 +710,12 @@ def __init__(
             if self.arguments[i] is None and i < self.max_fixed_argc():
                 self.min_args = i + 1
 
+    def is_plugin_generated(self) -> bool:
+        if self.info is FUNC_NO_INFO:
+            return False
+        sym = self.info.names.get(self.name)
+        return not sym or sym.plugin_generated
+
     def max_fixed_argc(self) -> int:
         return self.max_pos
 

mypy/plugins/attrs.py

@@ -628,6 +628,10 @@ def _attribute_from_attrib_maker(
         converter = convert
     converter_info = _parse_converter(ctx, converter)
 
+    if init_type is None and ctx.api.options.disallow_untyped_defs:
+        assert lhs.node is not None
+        ctx.api.msg.need_annotation_for_var(lhs.node, stmt)
+
     name = unmangle(lhs.name)
     return Attribute(
         name, ctx.cls.info, attr_has_default, init, kw_only, converter_info, stmt, init_type

test-data/unit/check-flags.test

@@ -1303,18 +1303,18 @@ def f(i: int, s):
 main:3: error: Function is missing a return type annotation
 main:3: error: Function is missing a type annotation for one or more arguments
 
-[case testDisallowIncompleteDefsAttrsNoAnnotations]
-# flags: --disallow-incomplete-defs
+[case testDisallowUntypedDefsAttrsNoAnnotations]
+# flags: --disallow-untyped-defs
 import attrs
 
 @attrs.define
 class Unannotated:
-    foo = attrs.field()
+    foo = attrs.field()  # E: Need type annotation for "foo"
 
 [builtins fixtures/plugin_attrs.pyi]
 
-[case testDisallowIncompleteDefsAttrsWithAnnotations]
-# flags: --disallow-incomplete-defs
+[case testDisallowUntypedDefsAttrsWithAnnotations]
+# flags: --disallow-untyped-defs
 import attrs
 
 @attrs.define
@@ -1323,14 +1323,14 @@ class Annotated:
 
 [builtins fixtures/plugin_attrs.pyi]
 
-[case testDisallowIncompleteDefsAttrsPartialAnnotations]
-# flags: --disallow-incomplete-defs
+[case testDisallowUntypedDefsAttrsPartialAnnotations]
+# flags: --disallow-untyped-defs
 import attrs
 
 @attrs.define
-class PartiallyAnnotated:  # E: Function is missing a type annotation for one or more arguments
+class PartiallyAnnotated:
     bar: int = attrs.field()
-    baz = attrs.field()
+    baz = attrs.field()  # E: Need type annotation for "baz"
 
 [builtins fixtures/plugin_attrs.pyi]