From 7444097917bf2e71af8160de202795828a0086cb Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Mon, 19 Nov 2007 18:08:48 +0000 Subject: added tests --- test/files/neg/t0209.scala | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100755 test/files/neg/t0209.scala (limited to 'test/files/neg/t0209.scala') diff --git a/test/files/neg/t0209.scala b/test/files/neg/t0209.scala new file mode 100755 index 0000000000..ecbe183e35 --- /dev/null +++ b/test/files/neg/t0209.scala @@ -0,0 +1,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) + } +} -- cgit v1.2.3