More negative override tests

Author: odersky

test/dotc/tests.scala

@@ -83,7 +83,7 @@ class tests extends CompilerTest {
   @Test def neg_autoTupling2 = compileFile(negDir, "autoTuplingTest", xerrors = 4)
   @Test def neg_companions = compileFile(negDir, "companions", xerrors = 1)
   @Test def neg_over = compileFile(negDir, "over", xerrors = 3)
-  @Test def neg_overrides = compileFile(negDir, "overrides", xerrors = 9)
+  @Test def neg_overrides = compileFile(negDir, "overrides", xerrors = 11)
   @Test def neg_projections = compileFile(negDir, "projections", xerrors = 1)
   @Test def neg_i39 = compileFile(negDir, "i39", xerrors = 1)
   @Test def neg_i50_volatile = compileFile(negDir, "i50-volatile", xerrors = 4)

tests/neg/overrides.scala

@@ -107,3 +107,17 @@ package p4 {
   case class D[T](head: Int) extends C[T]
 
 }
+
+package p5 {
+class A {
+  def m: String = "foo"
+}
+
+class B extends A {
+  override val m: Int = 42
+}
+
+class C extends A {
+  override def m: Int = 42
+}
+}