diff options
author | Martin Odersky <odersky@gmail.com> | 2015-09-08 10:42:20 +0200 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-09-14 13:38:17 +0200 |
commit | c8b359d5a29f76f8ed7985d22a6515637befe7f8 (patch) | |
tree | def4ef6fcbf182661b0a6ef752d3e4de22bf8c48 /tests/run/final-fields.scala | |
parent | 56dfb4e953e42e1defd20d58fb671c6ae802e91a (diff) | |
download | dotty-c8b359d5a29f76f8ed7985d22a6515637befe7f8.tar.gz dotty-c8b359d5a29f76f8ed7985d22a6515637befe7f8.tar.bz2 dotty-c8b359d5a29f76f8ed7985d22a6515637befe7f8.zip |
Augment test file
to test for propagation of constant types.
Diffstat (limited to 'tests/run/final-fields.scala')
-rw-r--r-- | tests/run/final-fields.scala | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/tests/run/final-fields.scala b/tests/run/final-fields.scala index 3a8d30c6a..77c0f1bc8 100644 --- a/tests/run/final-fields.scala +++ b/tests/run/final-fields.scala @@ -8,6 +8,24 @@ trait T { println(s"$f1 $f2 $f3 $f4") } +trait U { + val f2: Int +} + +object Test0 extends U { + final val f1 = 1 + final val f2 = 2 + final val f3 = f1 + f2 + val f4: 3 = f3 +} + +object Test1 extends U { + final val f1 = 1 + final val f3 = f1 + f2 + final val f2 = 2 + val f4: 3 = f3 +} + object Test extends T { override final val f1 = /*super.f1*/ 1 + f2 override final val f2 = 2 |