Permalink
Browse files

Test case for SI-1557

  • Loading branch information...
heathermiller committed May 6, 2012
1 parent 7cac633 commit 8d4b5034c0ca2eb97473c0bc5775fe38e44c9df0
Showing with 18 additions and 0 deletions.
  1. +18 −0 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
+}

0 comments on commit 8d4b503

Please sign in to comment.