error: type alias 'BadArr' could not be resolved: an array dimension is not a compile-time integer constant
  --> examples/1129-diagnostics-array-dim-not-const.sx:18:11
   |
18 | BadArr :: [get()]i64;
   |           ^^^^^^^^^^
