The following code works, but it is unspecified in the docs whether `(inc a)` can rely on `a` being bound.

In sequential destructuring, are bindings bound in order such that subsequent :or value expressions can rely on prior sequential bindings?

This is true based on the current implementation of destructure, but looking for a statement to this effect in the docs and/or tests.