Oops, add forgotten fine-grained dataclasses test. And remove redunda…

…nt test.
python · syastrov · Mar 26, 2020 · Mar 26, 2020 · Mar 26, 2020 · Mar 26, 2020
commit 6328a7cd6141aeca4b4d6b61549fbec626a5b163
diff --git a/test-data/unit/check-dataclasses.test b/test-data/unit/check-dataclasses.test
@@ -1263,34 +1263,3 @@ reveal_type(result['staff']) # N: Revealed type is 'Any'
 [typing fixtures/typing-full.pyi]
 [builtins fixtures/tuple.pyi]
 
-
-
-[case testDataclassesAsdictNamedTuple]
-from dataclasses import dataclass, asdict
-from typing import NamedTuple
-
-@dataclass
-class Person:
-    name: str
-    age: int
-
-
-class Staff(NamedTuple):
-    teacher: Person
-    assistant: Person
-
-    def staff_method(self):
-        pass
-
-@dataclass
-class Course:
-    staff: Staff
-
-instance = Course(staff=Staff(teacher=Person("Joe", 32), assistant=Person("John", 23)))
-result = asdict(instance)
-# Due to implementation limitations, namedtuples are transformed to Any
-reveal_type(result['staff']) # N: Revealed type is 'Any'
-
-[typing fixtures/typing-full.pyi]
-[builtins fixtures/tuple.pyi]
-
diff --git a/test-data/unit/fine-grained-dataclasses.test b/test-data/unit/fine-grained-dataclasses.test
@@ -0,0 +1,37 @@
+-- Test cases for fine-grained incremental checking of dataclasses
+--
+-- The comment at the top of fine-grained.test explains how these tests
+-- work.
+
+[case testDataclassesAsdictFineGrained]
+[file a.py]
+from dataclasses import dataclass
+from b import AttributeInOtherModule
+
+@dataclass
+class MyDataclass:
+    attr: AttributeInOtherModule
+
 [file b.py]
+AttributeInOtherModule = str
+[file c.py]
+from dataclasses import asdict
+from a import MyDataclass
+reveal_type(asdict(MyDataclass('John')))
+
+[file b.py.2]
+from typing import List
+class MyList(List[int]):
+    pass
+AttributeInOtherModule = MyList
+[file c.py.2]
+from dataclasses import asdict
+from a import MyDataclass
+from b import MyList
+reveal_type(asdict(MyDataclass(MyList())))
+
+[out]
+c.py:3: note: Revealed type is 'TypedDict({'attr'?: builtins.str})'
+==
+c.py:4: note: Revealed type is 'TypedDict({'attr'?: builtins.list[builtins.int]})'
+[builtins fixtures/tuple.pyi]