1 files changed, 24 insertions, 0 deletions
diff --git a/tests/untried/pos/comp-rec-test.scala b/tests/untried/pos/comp-rec-test.scala
new file mode 100644
index 000000000..c3e6f8c19
--- /dev/null
+++ b/tests/untried/pos/comp-rec-test.scala
@@ -0,0 +1,24 @@
+object Comp extends App {
+
+   trait Family {
+     type T
+   }
+
+   object Trivial extends Family {
+     type T = Unit
+   }
+
+   trait Wrap extends Family {
+     val v : Family
+     type T = v.T
+   }
+
+   object WrapTrivial extends Wrap {
+     val v = Trivial
+   }
+
+   object WrapWrapTrivial extends Wrap {
+     val v = WrapTrivial
+   }
+
+}