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