diff options
Diffstat (limited to 'test/pending/neg/t1477.scala')
-rw-r--r-- | test/pending/neg/t1477.scala | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/test/pending/neg/t1477.scala b/test/pending/neg/t1477.scala deleted file mode 100644 index 0cc0cd5f7a..0000000000 --- a/test/pending/neg/t1477.scala +++ /dev/null @@ -1,25 +0,0 @@ -object Test extends Application { - trait A - trait B extends A - - trait C { - type U - trait D { type T >: B <: A } - type V <: D - val y: V#T = new B { } - } - - trait Middle extends C { - type V <: (D with U) - } - - class D extends Middle { - trait E - trait F { type T = E } - type U = F - def frob(arg : E) : E = arg - frob(y) - } - - new D -} |