1 files changed, 9 insertions, 0 deletions
diff --git a/tests/untried/neg/lazy-override.check b/tests/untried/neg/lazy-override.check
new file mode 100644
index 000000000..793e6b202
--- /dev/null
+++ b/tests/untried/neg/lazy-override.check
@@ -0,0 +1,9 @@
+lazy-override.scala:11: error: overriding value x in class A of type Int;
+ lazy value x cannot override a concrete non-lazy value
+    override lazy val x: Int = { print("/*B.x*/"); 3 }
+                      ^
+lazy-override.scala:13: error: overriding lazy value y in class A of type Int;
+ value y must be declared lazy to override a concrete lazy value
+    override val y: Int = { print("/*B.y*/"); 3 }
+                 ^
+two errors found