Fix infinite recursion in semtypes with recursive types

Fixes #2213
2025-12-29 01:14:41 +00:00 · 2015-03-13 02:17:46 +01:00
parent d6c957e9b4
commit c19d6cb620
1 changed files with 2 additions and 0 deletions
--- a/compiler/semtypes.nim
+++ b/compiler/semtypes.nim
@@ -787,6 +787,8 @@ proc liftParamType(c: PContext, procKind: TSymKind, genericParams: PNode,
      result = addImplicitGeneric(typ)
    else:
      for i in 0 .. <paramType.sons.len:
+        if paramType.sons[i] == paramType:
+          localError(info, errIllegalRecursionInTypeX, typeToString(paramType))
        var lifted = liftingWalk(paramType.sons[i])
        if lifted != nil:
          paramType.sons[i] = lifted