Immutable-binding diagnostic

Purpose and outcome

This is an intentional source failure with immutable-assignment. Inspect the primary span. This diagnostic supplies no automatic edit; manually replace let or دع with var or متغير, or open corrected source as a separate draft.

See Diagnostics and correction.

Arabic source

This is a supplied complete source. Opening creates a new draft; Run requires an explicit action.

دالة ابدأ_الرئيسية() -> ص64 {
    دع قيمة = 0.
    قيمة = 1.
    أرجع قيمة.
}

{
  "browser": {
    "check": "source-error",
    "class": "source-error",
    "output": "",
    "reason": "immutable-assignment"
  },
  "native": {
    "check": 1,
    "status": 1,
    "output": "",
    "reason": "immutable-assignment"
  }
}

English source

This is a supplied complete source. Opening creates a new draft; Run requires an explicit action.

fn start_main() -> i64 {
    let value = 0;
    value = 1;
    return value;
}

{
  "browser": {
    "check": "source-error",
    "class": "source-error",
    "output": "",
    "reason": "immutable-assignment"
  },
  "native": {
    "check": 1,
    "status": 1,
    "output": "",
    "reason": "immutable-assignment"
  }
}

Check the result

The source card shows hosts, input, and expected outcomes from the canonical catalog. Reading language changes neither source nor result.