Test cases for ()T/=>T overrides

Author: odersky

tests/neg/unitOverride.scala

@@ -0,0 +1,16 @@
+trait C {
+
+  def f: Unit
+  def g(): Unit
+
+}
+
+object Test extends C {
+
+  val x: Any = ???
+  x.toString  // OK
+
+  def f() = () // error: bad override
+  def g = () // error: bad override
+
+}

tests/pos-scala2/unitOverride.scala

@@ -0,0 +1,16 @@
+trait C {
+
+  def f: Unit
+  def g(): Unit
+
+}
+
+object Test extends C {
+
+  val x: Any = ???
+  x.toString  // OK
+
+  def f() = () // error: bad override
+  def g = () // error: bad override
+
+}