Never write final fields outside of constructors.

Closes SI-3569, SI-3770.

Also threw in experimental -Yoverride-vars.  It's not robust.

3 files changed, 44 insertions, 0 deletions

diff --git a/test/files/run/finalvar.check b/test/files/run/finalvar.check
new file mode 100644
index 0000000000..2496293972
--- /dev/null
+++ b/test/files/run/finalvar.check
@@ -0,0 +1,6 @@
+(2,2,2,2,1)
+(2,2,2,2)
+(2,2,2,2,1001)
+(2,2,2,2)
+2
+10
diff --git a/test/files/run/finalvar.flags b/test/files/run/finalvar.flags
new file mode 100644
index 0000000000..aee3039bec
--- /dev/null
+++ b/test/files/run/finalvar.flags
@@ -0,0 +1 @@
+-Yoverride-vars -Yinline
\ No newline at end of file
diff --git a/test/files/run/finalvar.scala b/test/files/run/finalvar.scala
new file mode 100644
index 0000000000..010813e520
--- /dev/null
+++ b/test/files/run/finalvar.scala
@@ -0,0 +1,37 @@
+object Final {
+  class X(final var x: Int)  { }
+  def f = new X(0).x += 1
+}
+
+class A {
+  var x = 1
+  def y0 = x
+  def y1 = this.x
+  def y2 = (this: A).x
+}
+
+class B extends A {
+  override def x = 2
+  def z = super.x
+}
+
+object Test {
+  def main(args: Array[String]): Unit = {
+    Final.f
+    val a = new B
+    println((a.x, a.y0, a.y1, a.y2, a.z))
+    val a0: A = a
+    println((a0.x, a0.y0, a0.y1, a0.y2))
+    a.x = 1001
+    println((a.x, a.y0, a.y1, a.y2, a.z))
+    println((a0.x, a0.y0, a0.y1, a0.y2))
+
+    val d = new D
+    println(d.w)
+    d.ten
+    println(d.w)
+  }
+}
+
+class C { var w = 1 ; def ten = this.w = 10 }
+class D extends C { override var w = 2 }
\ No newline at end of file