make getType node for generic inst have skipped type

fixes nim-lang#24503, refs nim-lang#22655
metagn · Dec 5, 2024 · eaf35fd · eaf35fd
1 parent 33dc236
commit eaf35fd
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/compiler/vmdeps.nim b/compiler/vmdeps.nim
@@ -135,8 +135,8 @@ proc mapTypeToAstX(cache: IdentCache; t: PType; info: TLineInfo;
     if inst:
       if allowRecursion:
         result = mapTypeToAstR(t.skipModifier, info)
-        # keep original type info for getType calls on the output node:
-        result.typ() = t
+        # result.typ can be tyGenericBody, give it a proper type:
+        result.typ() = t.skipModifier
       else:
         result = newNodeX(nkBracketExpr)
         #result.add mapTypeToAst(t.last, info)
@@ -145,8 +145,8 @@ proc mapTypeToAstX(cache: IdentCache; t: PType; info: TLineInfo;
           result.add mapTypeToAst(a, info)
     else:
       result = mapTypeToAstX(cache, t.skipModifier, info, idgen, inst, allowRecursion)
-      # keep original type info for getType calls on the output node:
-      result.typ() = t
+      # result.typ can be tyGenericBody, give it a proper type:
+      result.typ() = t.skipModifier
   of tyGenericBody:
     if inst:
       result = mapTypeToAstR(t.typeBodyImpl, info)