Traverse also generated TypeInfos, methods and attributes

TraverserVisitor doesn't traverse generated TypeInfos (for things like call based enums) or methods (for named tuples). Perhaps it should? A concrete effect is that some checks such as type arg compatibility checks may not be performed for generated nodes. Arguably this is fine from a correctness viewpoint, since creating an invalid type is a bug in mypy or a plugin. However, this makes it harder to ensure that generated nodes are valid.

Beginne damit, TraverserVisitor zu lokalisieren, und untersuche, wie es generierte TypeInfos, Methoden und Attribute durchläuft, einschließlich der Knoten, die für auf Aufrufen basierende Enums und benannte Tupel erzeugt werden. Ermittle das beabsichtigte Traversal-Verhalten und füge Tests hinzu, die zeigen, dass Prüfungen wie die Kompatibilität von Typargumenten auf generierte Knoten angewendet werden; abgeschlossen ist die Aufgabe, wenn die relevanten generierten Knoten konsistent durchlaufen werden.