leo/dynamic-check/tests/arrays/invalid_spread.leo

function main() {
    let a: u8 = 1;

    let b = [...a];
}