More tests for array

Author: liufengyun

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

@@ -719,7 +719,9 @@ object Objects:
       // The outer can be a bottom value for top-level classes.
 
       if klass == defn.ArrayClass then
-        OfArray(State.currentObject)
+        val arr = OfArray(State.currentObject)
+        Heap.write(arr.addr, Bottom)
+        arr
       else
         // Widen the outer to finitize the domain. Arguments already widened in `evalArgs`.
         val (outerWidened, envWidened) =

tests/init/neg/global-irrelevance6.scala

@@ -0,0 +1,11 @@
+import scala.annotation.init
+
+class Box(x: Int):
+  def foo(): Int = 100
+
+object A:
+  val array: Array[Box] = new Array(1)
+  val n = array(0).foo()       // ok, no crash
+
+object B:
+  var y = A.array(0).foo() * 2 // error

tests/init/neg/global-irrelevance7.scala

@@ -0,0 +1,12 @@
+import scala.annotation.init
+
+class Box(x: Int):
+  def foo(): Int = 100
+
+object A:
+  val array: Array[Box] = new Array(1)
+  array(0) = new Box(10): @init.expose
+  val n = array(0).foo()  // ok
+
+object B:
+  var y = A.array(0).foo() * 2 // error