fixes #3794

2 files changed, 14 insertions, 0 deletions

diff --git a/compiler/ccgtrav.nim b/compiler/ccgtrav.nim
index 5f59702e5..0da6396ea 100644
--- a/compiler/ccgtrav.nim
+++ b/compiler/ccgtrav.nim
@@ -57,6 +57,8 @@ proc parentObj(accessor: Rope; m: BModule): Rope {.inline.} =
 
 proc genTraverseProc(c: var TTraversalClosure, accessor: Rope, typ: PType) =
   if typ == nil: return
+
+  let typ = getUniqueType(typ)
   var p = c.p
   case typ.kind
   of tyGenericInst, tyGenericBody, tyTypeDesc:
diff --git a/tests/ccgbugs/tmissing_ccgtrav_unique_type.nim b/tests/ccgbugs/tmissing_ccgtrav_unique_type.nim
new file mode 100644
index 000000000..cb87eabd8
--- /dev/null
+++ b/tests/ccgbugs/tmissing_ccgtrav_unique_type.nim
@@ -0,0 +1,12 @@
+
+# bug #3794
+
+
+import options
+
+proc getRef*(): Option[int] =
+  return none(int)
+
+proc getChild*() =
+  let iter = iterator (): int {.closure.} =
+    let reference = getRef()