New analyser: fix crashes when plugins encounter a placeholder node

mypy/plugins/attrs.py

@@ -270,7 +270,9 @@ def _analyze_class(ctx: 'mypy.plugin.ClassDefContext',
         # instance level assignments.
         if attribute.name in ctx.cls.info.names:
             node = ctx.cls.info.names[attribute.name].node
-            assert isinstance(node, Var)
+            if not isinstance(node, Var):
+                # This node may be not ready yet (i.e. a PlaceholderNode).
+                continue
             node.is_initialized_in_class = False
 
     # Traverse the MRO and collect attributes from the parents.

mypy/plugins/dataclasses.py

@@ -214,7 +214,9 @@ def collect_attributes(self) -> List[DataclassAttribute]:
                 continue
 
             node = cls.info.names[lhs.name].node
-            assert isinstance(node, Var)
+            if not isinstance(node, Var):
+                # This node may be not ready yet (i.e. a PlaceholderNode).
+                continue
 
             # x: ClassVar[int] is ignored by dataclasses.
             if node.is_classvar:

test-data/unit/check-attr.test

@@ -1107,3 +1107,47 @@ C(43)
 
 class Yes: ...
 [builtins fixtures/exception.pyi]
+
+[case testTypeInAttrBad]
+import attr
+
+@attr.s
+class C:
+    total = attr.ib(type=Bad)  # E: Name 'Bad' is not defined
+[builtins fixtures/bool.pyi]
+
+[case testTypeInAttrBad2]
+import attr
+
+@attr.s
+class C:
+    total = attr.ib(type=Forward)
+
+reveal_type(C.total)  # N: Revealed type is '__main__.Forward'
+C('no')  # E: Argument 1 to "C" has incompatible type "str"; expected "Forward"
+class Forward: ...
+[builtins fixtures/bool.pyi]
+
+[case testTypeInAttrBad3]
+import attr
+
+@attr.s
+class C:
+    total = attr.ib(default=func())
+
+def func() -> int: ...
+
+C()
+C(1)
+C(1, 2)  # E: Too many arguments for "C"
+[builtins fixtures/bool.pyi]
+
+[case testTypeInAttrBad4]
+import attr
+
+@attr.s(frozen=True)
+class C:
+    total = attr.ib(type=Bad)  # E: Name 'Bad' is not defined
+
+C(0).total = 1  # E: Property "total" defined in "C" is read-only
+[builtins fixtures/bool.pyi]

test-data/unit/check-dataclasses.test

@@ -642,3 +642,26 @@ a < b
 
 class Yes: ...
 [builtins fixtures/list.pyi]
+
+[case testDataclassFieldDeferred]
+from dataclasses import field, dataclass
+
+@dataclass
+class C:
+    x: int = field(default=func())
+
+def func() -> int: ...
+C('no')  # E: Argument 1 to "C" has incompatible type "str"; expected "int"
+[builtins fixtures/bool.pyi]
+
+[case testDataclassFieldDeferredFrozen]
+from dataclasses import field, dataclass
+
+@dataclass(frozen=True)
+class C:
+    x: int = field(default=func())
+
+def func() -> int: ...
+c: C
+c.x = 1  # E: Property "x" defined in "C" is read-only
+[builtins fixtures/bool.pyi]