//META: generated=true
//META: model=claude-sonnet-4-6
//META: generated_at=2026-06-02T07:58:38+00:00
//META: source_commit=a01e79278cf0be9772deb8b2be52ee87687697a3
//META: doc_ref=docs/language-reference/declarations.md#variables
//META: doc_section_digest=98b79b7c34fc8faf47b9b15881a4299669d58061046761d5503ddf01389e9d47
//META: purpose=A `var` declaration introduces a mutable variable that can be assigned after declaration.
//META: intent=functional
//META: pipeline_stage=runtime
//META: warning=Auto-generated. May drift from source. Do not edit by hand.

// Verifies that `var` introduces a mutable variable that can be reassigned after declaration.
// Both `x` and `y` are assigned new values after initial declaration; CHECK lines assert
// the updated values 42 and 3, confirming mutability for both inferred and explicit types.

//TEST:INTERPRET(filecheck=CHECK):

void main()
{
    var x = 9;
    var y : float = 1.5;
    x = 42;
    y = 3.0;
    // CHECK: 42
    // CHECK: 3
    printf("%d\n%g\n", x, y);
}
