[ryansolid]

Implements the destructuring RG-4b already promised, rest included. Each side keeps its meaning:

component Card({ title, open = false, ...rest }) {   // each name a projection of props, stays live
  { a, b: bee } = rest.pair                           // one equation per name
  [first, , third = "z", ...more] = rest.list
  <button onClick={() => {
    let { a: q, ...r } = pair                         // imperative: snapshots (a rest is a copy), as in JS
    pair := { a: r.b, b: q }                          // only := and guess mutate
  }}>{title}</button>
}

• Equations vs snapshots: bare x = e is always an equation and let x = e always a snapshot, destructured or not. A destructured name (a rest included) is an equation, so a := v is WRITE_TO_NON_SOURCE.
• Object rest: { a, ...rest } = e lowers to Solid's omit(e, "a"), a live view, so rest.pair stays props.pair. In a let it lowers to { ...omit(…) }, a copy. This uses a new internal omit expression, handled in the interpreter, oracle, compiled output, type projection and the Rust crate.
• Array rest: [x, ...rest] = e lowers to e.slice(1). A rest must be last.
• Defaults apply on undefined.
• Right sides that aren't paths: a right side that isn't a name or a path is bound once to a hidden equation, so it is only evaluated once.
• JS_API hint: [n, setN] = createSignal(0) still gets the JS_API hint.
• Tests and docs: new scenario S-destructuring. Docs: the 07 grammar and decision 20, and guide/language.md.

Tests: interpreter, oracle and compiled pass 125/125; types 171; ssr 118; crate parity 351/351; lowering 206/206; cargo test green.

🤖 Generated with Claude Code

https://claude.ai/code/session_0117BoWP7LmQhib6M9zGnmBH