Infinite recursion with recursive TypedDict

[JukkaL]

Mypy crashes with RecursionError when I type check this program:

from mypy_extensions import TypedDict

A = TypedDict('A', {'a': 'A'})

a: A

Output:

t2.py:3: error: Invalid type "t2.A"
Traceback (most recent call last):
  File "/Users/jukka/src/mypy/scripts/mypy", line 6, in <module>
    main(__file__)
  File "/Users/jukka/src/mypy/mypy/main.py", line 50, in main
    res = type_check_only(sources, bin_dir, options)
  File "/Users/jukka/src/mypy/mypy/main.py", line 97, in type_check_only
    options=options)
  File "/Users/jukka/src/mypy/mypy/build.py", line 196, in build
    graph = dispatch(sources, manager)
  File "/Users/jukka/src/mypy/mypy/build.py", line 1769, in dispatch
    process_graph(graph, manager)
  File "/Users/jukka/src/mypy/mypy/build.py", line 2012, in process_graph
    process_stale_scc(graph, scc, manager)
  File "/Users/jukka/src/mypy/mypy/build.py", line 2107, in process_stale_scc
    graph[id].semantic_analysis()
  File "/Users/jukka/src/mypy/mypy/build.py", line 1664, in semantic_analysis
    self.manager.semantic_analyzer.visit_file(self.tree, self.xpath, self.options, patches)
  File "/Users/jukka/src/mypy/mypy/semanal.py", line 295, in visit_file
    self.accept(d)
  File "/Users/jukka/src/mypy/mypy/semanal.py", line 3636, in accept
    node.accept(self)
  File "/Users/jukka/src/mypy/mypy/nodes.py", line 859, in accept
    return visitor.visit_assignment_stmt(self)
  File "/Users/jukka/src/mypy/mypy/semanal.py", line 1567, in visit_assignment_stmt
    s.type = self.anal_type(s.type, allow_tuple_literal=allow_tuple_literal)
  File "/Users/jukka/src/mypy/mypy/semanal.py", line 1555, in anal_type
    return t.accept(a)
  File "/Users/jukka/src/mypy/mypy/types.py", line 189, in accept
    return visitor.visit_unbound_type(self)
  File "/Users/jukka/src/mypy/mypy/typeanal.py", line 292, in visit_unbound_type
    return td.copy_modified(item_types=self.anal_array(list(td.items.values())),
  File "/Users/jukka/src/mypy/mypy/typeanal.py", line 520, in anal_array
    res.append(self.anal_type(t, nested))
  File "/Users/jukka/src/mypy/mypy/typeanal.py", line 527, in anal_type
    return t.accept(self)
  File "/Users/jukka/src/mypy/mypy/types.py", line 189, in accept
    return visitor.visit_unbound_type(self)
...
  File "/Users/jukka/src/mypy/mypy/typeanal.py", line 152, in visit_unbound_type
    sym = self.lookup(t.name, t)
  File "/Users/jukka/src/mypy/mypy/semanal.py", line 3436, in lookup_qualified
    return self.lookup(name, ctx)
RecursionError: maximum recursion depth exceeded

[ilevkivskyi]

I think this is exactly the same as the first crash in #3340 modulo NamedTuple -> TypedDict.