Summary
Several parsed tokens are discarded rather than represented:
let mut x — the mut is dropped (let _mutable = …); Stmt::Let has no mutable flag.
&mut in unary borrow expressions — mutability dropped (let _mutable = …); only op: "&" survives.
send expr; — lowered to a plain Stmt::Expr, losing send semantics.
Part of the v0.6.x parser-completeness work (see crates/AGENTS.md "Implemented subset").
Spec
- §4 ownership/borrowing (
& / &mut); §5.3 let bindings; §8 actors send (§8.2, §16 send_stmt).
Scope
Notes
Low risk, mostly mechanical AST additions. Needed before any borrow-check or actor-semantics stage can consume the AST.
Summary
Several parsed tokens are discarded rather than represented:
let mut x— themutis dropped (let _mutable = …);Stmt::Lethas nomutableflag.&mutin unary borrow expressions — mutability dropped (let _mutable = …); onlyop: "&"survives.send expr;— lowered to a plainStmt::Expr, losing send semantics.Part of the v0.6.x parser-completeness work (see
crates/AGENTS.md"Implemented subset").Spec
&/&mut); §5.3letbindings; §8 actorssend(§8.2, §16send_stmt).Scope
mutableflag toStmt::Letand threadmutthrough.&mutvs&on borrow expressions in the AST.sendas its own statement/expression node rather than a bareStmt::Expr.Notes
Low risk, mostly mechanical AST additions. Needed before any borrow-check or actor-semantics stage can consume the AST.