blob: ecbe183e35bed3c9abed47c59224d0888cc2a022 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
abstract class A {
def f(x : this.type) : B
}
class B extends A {
override def f(x : this.type) : B = x
}
class C extends A {
override def f(x : this.type) : B = null
}
object Program {
def main(args : Array[String]) {
(new B: A).f(new C)
}
}
|