Ownership
Copy values copy; other values move on assignment, passing, and return.
DByte 12.0 · Language
Contract§
Use-after-move is rejected before profile validation.
Mechanics§
HIR annotates each value use as Copy, Move, Borrow or BorrowMut. Scalars, raw pointers, function pointers and aggregates whose members are all Copy remain Copy; other values move.
Validation and failure§
Use-after-move, moving a borrowed owner, conflicting aliases and destruction during a live borrow fail deterministically. No backend is allowed to erase these decisions and infer a looser rule.
Evidence and boundary§
Ownership diagnostics and HIR snapshots are shared across profiles; native acceptance executes legal borrowed and moved values.