From beb54a5a75385999fce23507f600881398fab9cf Mon Sep 17 00:00:00 2001
From: metagn <metagngn@gmail.com>
Date: Mon, 21 Apr 2025 09:58:45 +0300
Subject: [PATCH] consider proc return type as weak reference in codegen
 (#24894)

fixes #7706

(cherry picked from commit 9c2593444a6890aca630456ec581748ac8c37be7)
---
 compiler/ccgtypes.nim               |  2 +-
 tests/proc/trecursivereturntype.nim | 15 +++++++++++++++
 2 files changed, 16 insertions(+), 1 deletion(-)
 create mode 100644 tests/proc/trecursivereturntype.nim

diff --git a/compiler/ccgtypes.nim b/compiler/ccgtypes.nim
index d58619f431..eb1e46c460 100644
--- a/compiler/ccgtypes.nim
+++ b/compiler/ccgtypes.nim
@@ -597,7 +597,7 @@ proc genProcParams(m: BModule; t: PType, rettype, params: var Rope,
   if t.returnType == nil or isInvalidReturnType(m.config, t):
     rettype = "void"
   else:
-    rettype = getTypeDescAux(m, t.returnType, check, dkResult)
+    rettype = getTypeDescWeak(m, t.returnType, check, dkResult)
   for i in 1..<t.n.len:
     if t.n[i].kind != nkSym: internalError(m.config, t.n.info, "genProcParams")
     var param = t.n[i].sym
diff --git a/tests/proc/trecursivereturntype.nim b/tests/proc/trecursivereturntype.nim
new file mode 100644
index 0000000000..8205fd4b87
--- /dev/null
+++ b/tests/proc/trecursivereturntype.nim
@@ -0,0 +1,15 @@
+# issue #7706
+
+type
+  Op = enum
+    Halt
+    Inc
+    Dec
+
+type
+  InstrNext = proc (val: var int, code: seq[Op], pc: var int, stop: var bool): OpH {.inline, nimcall.}
+
+  OpH = object
+    handler: InstrNext
+
+var a: OpH