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.

Commencez par localiser TraverserVisitor et examinez comment il parcourt les TypeInfos, les méthodes et les attributs générés, y compris les nœuds produits pour les enums basumés sur des appels et les tuples nommés. Déterminez le comportement de parcours attendu et ajoutez une couverture montrant que des vérifications telles que la compatibilité des arguments de type sont appliquées aux nœuds générés ; le travail est terminé lorsque les nœuds générés concernés sont parcourus de manière cohérente.