1 files changed, 17 insertions, 0 deletions
diff --git a/tests/untried/neg/t0209.scala b/tests/untried/neg/t0209.scala
new file mode 100644
index 000000000..cd9bd9754
--- /dev/null
+++ b/tests/untried/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]): Unit = {
+    (new B: A).f(new C)
+  }
+}