error: expected integer constant; found type `CONSt`
   ╭▸ test/ui/expected_const_int_found_type.aldrin:12:19
   │
12 │     f4 @ 4 = [u8; expected_const_int_found_type_import::CONSt];
   │                   ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ integer constant expected here
   │
   ╰ help: did you mean `expected_const_int_found_type_import::CONST`?