1 files changed, 11 insertions, 0 deletions
diff --git a/tests/untried/pos/t607.scala b/tests/untried/pos/t607.scala
new file mode 100644
index 000000000..42c3a15a8
--- /dev/null
+++ b/tests/untried/pos/t607.scala
@@ -0,0 +1,11 @@
+object Test
+{
+        trait Foo { type T }
+        object FooX extends Foo { type T = X; trait X }
+
+        def test(x : Foo { type T = FooX.X }) = {}
+
+        def main(argv : Array[String]) : Unit = {
+                test(FooX)
+        }
+}