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