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.

まず TraverserVisitor を見つけ、生成された TypeInfos、メソッド、属性をどのように走査するかを調べます。これには、呼び出しベースの enum と名前付きタプルに対して生成されるノードも含まれます。意図された走査動作を判断し、型引数の互換性などのチェックが生成されたノードに適用されることを示すカバレッジを追加します。関連する生成ノードが一貫して走査されれば完了です。