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.

Comienza localizando TraverserVisitor e inspecciona cómo recorre los TypeInfos, métodos y atributos generados, incluidos los nodos producidos para enums basados en llamadas y tuplas con nombre. Determina el comportamiento de recorrido previsto y añade cobertura que demuestre que las comprobaciones, como la compatibilidad de los argumentos de tipo, se aplican a los nodos generados; la tarea estará terminada cuando los nodos generados relevantes se recorran de forma coherente.