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`?
