Functions with type variable value restriction lose some AST information

There are a bunch of mypy AST attributes that mypy.treetransform.TransformVisitor does not propagate when copying AST nodes. This causes issues in functions using a type variable restriction, since function bodies of such functions are transformed using this visitor before type checking. Based on a user report, I noticed that async-related flags aren't propagated. I also noticed a few others, including dataclass transform state. It's not clear if all of these are causing actual issues, but some of them might.

We should go through all AST nodes and double check that all relevant state is being copied. Not sure if there is an easy way to test exhaustively that we don't miss any attributes as AST attributes are added.

Inizia da mypy.treetransform.TransformVisitor e confronta gli attributi che copia con lo stato di tutti i nodi AST, in particolare i flags relativi a async e lo stato di trasformazione di dataclass. Controlla la copertura esistente per le funzioni che usano variabili di tipo vincolate, quindi aggiungi test che confermino che i nodi trasformati mantengano lo stato pertinente; il lavoro è completato quando lo stato pertinente dell'AST viene preservato in modo coerente.