summaryrefslogtreecommitdiff
path: root/test/pending/neg/t2080.scala
diff options
context:
space:
mode:
Diffstat (limited to 'test/pending/neg/t2080.scala')
-rw-r--r--test/pending/neg/t2080.scala17
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.