blob: cd9bd975442ef68ea0385ab9cb4a3e76ba890669 (
plain) (
tree)
|
|
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]): Unit = {
(new B: A).f(new C)
}
}
|