leo/asg/tests/pass/mutability/function_input_mut.leo

// Adding the `mut` keyword makes a function variable mutable.
function main(mut a: bool) {
    a = true;

    console.assert(a == true);
}