summary refs log tree commit diff stats
diff options
context:
space:
mode:
-rw-r--r--tests/types/taliasbugs.nim11
1 files changed, 11 insertions, 0 deletions
diff --git a/tests/types/taliasbugs.nim b/tests/types/taliasbugs.nim
index 57254760a..bdb2a7a32 100644
--- a/tests/types/taliasbugs.nim
+++ b/tests/types/taliasbugs.nim
@@ -156,3 +156,14 @@ when true:
       Foo(i)
 
   var xx = xs.mapIt(asFoo($(it + 5)))
+
+
+block t4674:
+  type
+    FooObj[T] = object
+      v: T
+    Foo1[T] = FooObj[T]
+    Foo2 = FooObj
+    Foo1x = Foo1
+    Foo12x = Foo1 | Foo2
+    Foo2x = Foo2  # Error: illegal recursion in type 'Foo2x'