leo/asg/tests/fail/boolean/not_u32.leo

function main() -> bool {
    console.assert(!1u32 == 0u32);
}