Closes #4431. Review by extempore.

1 files changed, 16 insertions, 0 deletions

diff --git a/test/files/neg/t4431.scala b/test/files/neg/t4431.scala
new file mode 100644
index 0000000000..5fbb239e04
--- /dev/null
+++ b/test/files/neg/t4431.scala
@@ -0,0 +1,16 @@
+object Test {
+  // this works.
+  class B { final def f(): Unit = () }
+  trait A extends B { def f (): Unit }
+  class BB extends B { def f (): Unit }
+
+  // this earns a VerifyError.
+  trait C { def wait (): Unit }
+  class D { }
+
+  def main(args: Array[String]): Unit = {
+    new B with A { }
+    new BB
+//    new D with C { }
+  }
+}