// the issue only shows if `K` is an array, renaming this constant to something else works
const u32[1] K = [1];

def main() -> u32 {
    return K[0];
}