1 files changed, 24 insertions, 0 deletions
diff --git a/test/files/pos/comp-rec-test.scala b/test/files/pos/comp-rec-test.scala
new file mode 100644
index 0000000000..eaf12942c7
--- /dev/null
+++ b/test/files/pos/comp-rec-test.scala
@@ -0,0 +1,24 @@
+object Comp extends Application {
+
+   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
+   }
+
+}