error: constant 'BAD' must be initialized by compile-time constant elements
  --> examples/1160-diagnostics-array-const-runtime-element.sx:8:16
   |
 8 | BAD : [2]i64 : .[1, f()];
   |                ^^^^^^^^^

error: unresolved 'BAD' (in examples/1160-diagnostics-array-const-runtime-element.sx fn main)
  --> examples/1160-diagnostics-array-const-runtime-element.sx:11:19
   |
11 |     print("{}\n", BAD[0]);
   |                   ^^^
