Fix error message when overriding with a lazy val

Author: smarter

compiler/src/dotty/tools/dotc/typer/RefChecks.scala

@@ -388,7 +388,7 @@ object RefChecks {
       } else if (member.is(ModuleVal) && !other.isRealMethod && !other.is(Deferred | Lazy)) {
         overrideError("may not override a concrete non-lazy value")
       } else if (member.is(Lazy, butNot = Module) && !other.isRealMethod && !other.is(Lazy) &&
-                 !ctx.testScala2Mode("may not override a non-lazy value", member.sourcePos)) {
+                 !ctx.testScala2Mode(overrideErrorMsg("may not override a non-lazy value"), member.sourcePos)) {
         overrideError("may not override a non-lazy value")
       } else if (other.is(Lazy) && !other.isRealMethod && !member.is(Lazy)) {
         overrideError("must be declared lazy to override a lazy value")

tests/neg/ovlazy.check

@@ -0,0 +1,5 @@
+-- Error: tests/neg/ovlazy.scala:5:20 ----------------------------------------------------------------------------------
+5 |  override lazy val x: Int = 2 // error
+  |                    ^
+  |                    error overriding value x in class A of type Int;
+  |                      lazy value x of type Int may not override a non-lazy value

tests/neg/ovlazy.scala

@@ -0,0 +1,6 @@
+class A {
+  val x: Int = 1
+}
+class B extends A {
+  override lazy val x: Int = 2 // error
+}