aboutsummaryrefslogtreecommitdiff
path: root/tests/neg/customArgs/i1240.scala
diff options
context:
space:
mode:
Diffstat (limited to 'tests/neg/customArgs/i1240.scala')
-rw-r--r--tests/neg/customArgs/i1240.scala20
1 files changed, 3 insertions, 17 deletions
diff --git a/tests/neg/customArgs/i1240.scala b/tests/neg/customArgs/i1240.scala
index 438199b4a..3f4d1e210 100644
--- a/tests/neg/customArgs/i1240.scala
+++ b/tests/neg/customArgs/i1240.scala
@@ -20,21 +20,7 @@ class C2[T] {
class D {}
-// more complicated example
-abstract class A {
- type C[X]
- def foo[B](x: C[B]): C[B] = {println("A.C"); x}
- def foo[B](x: List[B]): List[B] = {println("A.List"); x}
- def give[X]: C[X]
+class X {
+ def foo(x: D): D
+ def foo(x: D): D // error: already defined
}
-
-class B extends A {
- type C[X] = List[X]
- override def give[X] = Nil
- override def foo[B](x: C[B]): C[B] = {println("B.C"); x}
- // which method is overriden?
- // should any bridges be generated?
- val a: A = this
- a.foo(a.give[Int]) // what method should be called here in runtime?
-}
-