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.

Inizia individuando TraverserVisitor e analizza come attraversa i TypeInfos, i metodi e gli attributi generati, inclusi i nodi prodotti per gli enum basati su chiamate e le tuple con nome. Determina il comportamento di attraversamento previsto e aggiungi una copertura che dimostri che controlli come la compatibilità degli argomenti di tipo vengono applicati ai nodi generati; il lavoro è completo quando i nodi generati rilevanti vengono attraversati in modo coerente.