test "boolean_mutability" {
    // Regression test for issue where 'let b = true' was inferred as const
    let b = true;
    assert(b, "Expected true");
    
    // This assignment should be valid (previously failed with 'Cannot assign to const variable')
    b = false;
    assert(!b, "Expected false after assignment");
    
    // Verify explicit type works too
    let c: bool = true;
    c = false;
    assert(!c, "Expected false for explicit type");
}