Borrowing
Immutable aliases use borrow; exclusive mutable aliases use borrow mut.
DByte 12.0 · Language
Contract§
Lexical lifetimes reject conflicts, hidden temporary extension, and escape.
Mechanics§
borrow creates lexical immutable aliases and borrow mut creates one exclusive mutable alias. A borrowed return is accepted only when it derives directly and unambiguously from one declared borrowed parameter.
Validation and failure§
Borrow escape, hidden temporary extension, ambiguous return provenance, mutation through immutable provenance and alias conflicts are rejected.
Evidence and boundary§
The corpus includes field, slice and closure captures so storage provenance is exercised beyond simple locals.