test/files/neg/t0209.scala


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)
  }
}