Enforce rule that laziness is preserved when overriding.

1 files changed, 7 insertions, 1 deletions

diff --git a/tests/neg/overrides.scala b/tests/neg/overrides.scala
index fe14f91ef..81a93a7a2 100644
--- a/tests/neg/overrides.scala
+++ b/tests/neg/overrides.scala
@@ -3,10 +3,16 @@ class Foo {
   type B >: Int <: Int
   def get: A = 42
 }
-class Bar extends Foo {
+trait T {
+  lazy val x: Int
+  val y: Int
+}
+class Bar extends Foo with T {
   override type A = Any   // error
   type B >: String <: Any  // error
   override def get: A = "bar"
+  val x = 2  // error
+  lazy val y = 3 // error
 }
 object Test {
   def main(args: Array[String]): Unit = {