diff options
Diffstat (limited to 'test/pending/neg/t2080.scala')
-rw-r--r-- | test/pending/neg/t2080.scala | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/test/pending/neg/t2080.scala b/test/pending/neg/t2080.scala deleted file mode 100644 index 3f4306c091..0000000000 --- a/test/pending/neg/t2080.scala +++ /dev/null @@ -1,17 +0,0 @@ -trait A { - type T - def f(x : T) : T -} - -trait B extends A { - trait T { } - override def f(x : T) : T = x -} - -object C extends B { - override trait T { - def g { } - } - override def f(x : T) : T = { x.g; x } -} -//It compiles without errors, but T in B and T in C are completely unrelated types. |