Reject fake TypeInfos for TypedDict fallbacks

mypy/fixup.py

@@ -209,6 +209,12 @@ def visit_typeddict_type(self, tdt: TypedDictType) -> None:
             for it in tdt.items.values():
                 it.accept(self)
         if tdt.fallback is not None:
+            if tdt.fallback.type_ref is not None:
+                if lookup_qualified(self.modules, tdt.fallback.type_ref,
+                                    self.allow_missing) is None:
+                    # We reject fake TypeInfos for TypedDict fallbacks because
+                    # the latter are used in type checking and must be valid.
+                    tdt.fallback.type_ref = 'typing._TypedDict'
             tdt.fallback.accept(self)
 
     def visit_literal_type(self, lt: LiteralType) -> None:

test-data/unit/fine-grained.test

@@ -9061,3 +9061,69 @@ def f() -> str: pass
 [builtins fixtures/classmethod.pyi]
 [out]
 ==
+
+[case testTypedDictCrashFallbackAfterDeletedMeet]
+# flags: --ignore-missing-imports
+
+from z import get_data
+from a import Data
+
+for it in get_data()['things']:
+    it['id']
+
+[file z.py]
+from a import Data
+
+def get_data() -> Data: ...
+
+[file a.py]
+from typing import TypedDict, List, Union
+
+class File(TypedDict):
+    id: int
+    name: str
+
+class User(TypedDict):
+    id: int
+    path: str
+
+class Data(TypedDict):
+    things: List[Union[File, User]]
+
+[delete a.py.2]
+[builtins fixtures/dict.pyi]
+[typing fixtures/typing-full.pyi]
+[out]
+==
+
+[case testTypedDictCrashFallbackAfterDeletedJoin]
+# flags: --ignore-missing-imports
+
+from z import get_data
+from a import Data
+
+x = [get_data()[0], get_data()[1]]
+
+[file z.py]
+from a import Data
+
+def get_data() -> Data: ...
+
+[file a.py]
+from typing import TypedDict, Tuple
+
+class File(TypedDict):
+    id: int
+    name: str
+
+class User(TypedDict):
+    id: int
+    path: str
+
+Data = Tuple[User, File]
+
+[delete a.py.2]
+[builtins fixtures/dict.pyi]
+[typing fixtures/typing-full.pyi]
+[out]
+==