Test case for SI-1557

heathermiller · May 6, 2012 · 8d4b503 · 8d4b503
1 parent 7cac633
commit 8d4b503
Showing 1 changed file with 18 additions and 0 deletions.
diff --git a/test/pending/neg/t1557.scala 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
+}