Fix access local var

Author: liufengyun

compiler/src/dotty/tools/dotc/transform/init/Objects.scala

@@ -695,6 +695,7 @@ object Objects:
         val value = eval(rhs, thisV, klass)
 
         if isLocal then
+          // TODO: the local var might be from outer environment.
           Heap.writeLocalVar(receiver.asInstanceOf[Ref], summon[Env.Data], lhs.symbol, value)
           Bottom
         else
@@ -755,9 +756,7 @@ object Objects:
         if vdef.symbol.is(Flags.Mutable) then
           val ref = thisV.asInstanceOf[Ref]
           val env = summon[Env.Data]
-          // Ignore writing to outer locals, will be abstracted by Cold in read.
-          if Heap.containsLocalVar(ref, env, sym) then
-            Heap.writeLocalVar(ref, env, sym, rhs)
+          Heap.writeLocalVar(ref, env, sym, rhs)
         else
           Env.setLocalVal(vdef.symbol, rhs)
 

tests/init/pos/global-local-var.scala

@@ -0,0 +1,16 @@
+class A(x: Int) {
+  def foo(): Int = {
+    val to = x
+    var sum = 0
+    var i = 0
+    while i < to do
+      sum += i
+      i += 1
+
+    B.a + 10 + sum
+  }
+}
+
+object B {
+  val a: Int = A(4).foo()
+}