special case for next field of colon colon in global init checker

scala · Apr 29, 2024 · c714ae5 · c714ae5
1 parent 837ed3a
commit c714ae5
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git a/compiler/src/dotty/tools/dotc/transform/init/Objects.scala b/compiler/src/dotty/tools/dotc/transform/init/Objects.scala
@@ -812,7 +812,8 @@ class Objects(using Context @constructorOnly):
         else
           Bottom
       else if target.exists then
-        if target.isOneOf(Flags.Mutable) then
+        def isNextFieldOfColonColon: Boolean = ref.klass == defn.ConsClass && target.name.toString == "next"
+        if target.isOneOf(Flags.Mutable) && !isNextFieldOfColonColon then
           if ref.hasVar(target) then
             val addr = ref.varAddr(target)
             if addr.owner == State.currentObject then

diff --git a/tests/init-global/pos/list-colon-colon-next.scala b/tests/init-global/pos/list-colon-colon-next.scala
@@ -0,0 +1,5 @@
+object A:
+  val a: List[Int] = List(1, 2, 3)
+
+object B:
+  val b = A.a.size