Vitte Ownership and Borrow (Core Freeze 0.1)
Stable borrow semantics checked by the mandatory borrowck phase:
- move invalidates previous owner uses (
E_BORROW_USE_AFTER_MOVE). - borrowed value cannot outlive owner (
E_BORROW_OUTLIVES_VALUE). - mutable and shared borrows cannot alias simultaneously (
E_BORROW_MUT_AND_SHARED). - borrowck is critical: skipped borrowck fails the build gates.
Advanced borrow features (NLL, reborrow graph precision, partial moves) remain experimental.