From c8b359d5a29f76f8ed7985d22a6515637befe7f8 Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Tue, 8 Sep 2015 10:42:20 +0200
Subject: Augment test file

to test for propagation of constant types.
---
 tests/run/final-fields.scala | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

(limited to 'tests')

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
-- 
cgit v1.2.3