Test case for SI-1557

1 files changed, 18 insertions, 0 deletions

diff --git a/test/pending/neg/t1557.scala b/test/pending/neg/t1557.scala
new file mode 100644
index 0000000000..ba93b45fad
--- /dev/null
+++ b/test/pending/neg/t1557.scala
@@ -0,0 +1,18 @@
+object Test extends App {
+ trait A
+ trait B extends A
+
+  trait C {
+    trait D { type T >: B <: A }
+    val y: (D with this.type)#T = new B { }
+  }
+
+  class D extends C {
+    trait E
+    type T = E 
+    def frob(arg : E) : E = arg
+    frob(y)
+  }
+
+  new D
+}
\ No newline at end of file