lift generic parameters from concrete composite type classes

1 files changed, 11 insertions, 6 deletions

diff --git a/tests/compile/tcompositetypeclasses.nim b/tests/compile/tcompositetypeclasses.nim
index ea966f1a9..4ba92fed1 100644
--- a/tests/compile/tcompositetypeclasses.nim
+++ b/tests/compile/tcompositetypeclasses.nim
@@ -13,18 +13,23 @@ type
 
   TUserClass = int|string
 
-  # TBaz = TBar[TUserClass]
+  TBaz = TBar[TUserClass]
 
 var
   vfoo: TFoo[int, string]
   vbar: TFoo[string, string]
+  vbaz: TFoo[int, int]
+  vnotbaz: TFoo[TObject, TObject]
 
 proc foo(x: TFoo) = echo "foo"
 proc bar(x: TBar) = echo "bar"
-# proc baz(x: TBaz) = echo "baz"
+proc baz(x: TBaz) = echo "baz"
 
-accept(foo(vfoo))
-accept(bar(vbar))
-# baz vbar
-reject(bar(vfoo))
+accept foo(vfoo)
+accept bar(vbar)
+accept baz(vbar)
+accept baz(vbaz)
+
+reject baz(vnotbaz)
+reject bar(vfoo)