diff options
author | Martin Odersky <odersky@gmail.com> | 2016-01-31 16:37:10 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-02-09 09:43:06 +0100 |
commit | 5fd2028931874291b3cf1b7efef4fed7119d9316 (patch) | |
tree | f0c60babe5ff6bc259bb902511cb60e5faaa7544 /tests/neg/overrides.scala | |
parent | 9a6f82b2ecfd7462d0a1f4e0464878fd58231277 (diff) | |
download | dotty-5fd2028931874291b3cf1b7efef4fed7119d9316.tar.gz dotty-5fd2028931874291b3cf1b7efef4fed7119d9316.tar.bz2 dotty-5fd2028931874291b3cf1b7efef4fed7119d9316.zip |
Enforce rule that laziness is preserved when overriding.
Diffstat (limited to 'tests/neg/overrides.scala')
-rw-r--r-- | tests/neg/overrides.scala | 8 |
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 = { |