leo/compiler/tests/mutability/circuit.leo

// Circuits are immutable by default.
circuit Foo {
    x: u32
}

function main() {
    const a = Foo { x: 1 };
    a.x = 0;
}