From cf0a45af5b3c66a966683b5267ca29078282850d Mon Sep 17 00:00:00 2001
From: bung87 <crc32@qq.com>
Date: Tue, 3 Oct 2023 03:24:30 +0800
Subject: [PATCH] semProcAux hasError cover fixupInstantiatedSymbols

---
 compiler/sem/seminst.nim  | 11 ++++++++---
 compiler/sem/semstmts.nim |  3 ++-
 2 files changed, 10 insertions(+), 4 deletions(-)

diff --git a/compiler/sem/seminst.nim b/compiler/sem/seminst.nim
index 5a88c010cea..96510129484 100644
--- a/compiler/sem/seminst.nim
+++ b/compiler/sem/seminst.nim
@@ -119,15 +119,20 @@ proc instantiateBody(c: PContext, n, params: PNode, result, orig: PSym) =
     trackProc(c, result, result.ast[bodyPos])
     dec c.inGenericInst
 
-proc fixupInstantiatedSymbols(c: PContext, s: PSym) =
+proc fixupInstantiatedSymbols(c: PContext, s: PSym): bool =
+  result = true
   for i in 0..<c.generics.len:
     if c.generics[i].genericSym.id == s.id:
-      var oldPrc = c.generics[i].inst.sym
+      var 
+        oldPrc = c.generics[i].inst.sym
+        n = oldPrc.ast
+      if n.kind == nkError:
+        result = false
+        continue
       pushProcCon(c, oldPrc)
       pushOwner(c, oldPrc)
       pushInfoContext(c.config, oldPrc.info)
       openScope(c)
-      var n = oldPrc.ast
       n[bodyPos] = copyTree(getBody(c.graph, s))
       instantiateBody(c, n, oldPrc.typ.n, oldPrc, s)
       closeScope(c)
diff --git a/compiler/sem/semstmts.nim b/compiler/sem/semstmts.nim
index 4f6dd76e174..b233cb18add 100644
--- a/compiler/sem/semstmts.nim
+++ b/compiler/sem/semstmts.nim
@@ -2810,7 +2810,8 @@ proc semProcAux(c: PContext, n: PNode, validPragmas: TSpecialWords,
         result[bodyPos] = semGenericStmt(c, n[bodyPos])
         closeScope(c)
         if s.magic == mNone:
-          fixupInstantiatedSymbols(c, s)
+          if not fixupInstantiatedSymbols(c, s):
+            hasError = true
       if s.kind == skMethod: semMethodPrototype(c, s, result)
       popProcCon(c)
   else: