blob: 5be59d2586b4e3f0ed9ad94cb56d607f9a487ec3 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
// minimization of failure in run/t4813.scala related to the special
// case for default methods that override methods owned by Object.class in
// Java interfaces.
trait C[A >: Null <: AnyRef] { override def clone(): A = null }
trait X extends C[X]
class D extends X { def foo = (this: X).clone() }
object Test {
def main(args: Array[String]) {
assert(new D().foo == null)
}
}
|