Add helper class for displaying synthesized annotations in unparsed code

trans/transpiler/phases/typing/block.py

@@ -11,7 +11,7 @@ from transpiler.phases.typing.class_ import ScoperClassVisitor
 from transpiler.phases.typing.scope import VarDecl, VarKind, ScopeKind, Scope
 from transpiler.phases.typing.types import BaseType, TypeVariable, FunctionType, \
     Promise, TY_NONE, PromiseKind, TupleType, UserType, TypeType, ModuleType
-from transpiler.phases.utils import PlainBlock
+from transpiler.phases.utils import PlainBlock, AnnotationName
 
 
 @dataclass
@@ -141,7 +141,7 @@ class ScoperBlockVisitor(ScoperVisitor):
     def annotate_arg(self, arg: ast.arg) -> BaseType:
         if arg.annotation is None:
             res = TypeVariable()
-            arg.annotation = ast.Name(id=str(res), ctx=ast.Load())
+            arg.annotation = AnnotationName(res)
             return res
         else:
             return self.visit_annotation(arg.annotation)

trans/transpiler/phases/utils.py

@@ -31,3 +31,14 @@ class NodeVisitorSeq:
 @dataclass
 class PlainBlock(ast.stmt):
     body: list[ast.stmt]
+
+
+@dataclass
+class AnnotationName:
+    inner: "transpiler.phases.typing.types.BaseType"
+
+    @property
+    def id(self):
+        return str(self.inner)
+
+AnnotationName.__name__ = "Name"
\ No newline at end of file