added test for #4674 (#9438)

This commit is contained in:
jcosborn 2018-10-19 04:18:13 -05:00 • committed by Andreas Rumpf
commit 3b1ade0350

View file

@ -156,3 +156,14 @@ when true:
Foo(i) Foo(i)
var xx = xs.mapIt(asFoo($(it + 5))) 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'