From RuntimeWire · RuntimeWire · · 30s
Valen's Borrow Checker Allows Mutable Aliases
Valen's borrow checker permits mutable aliases by tracking reference validity.
In brief
Valen's borrow checker permits mutable aliases by tracking reference validity. Valen's prototype borrow checker enables multiple mutable references to the same object without dangling references. Originally reported by RuntimeWire.
Valen's Borrow Checker
Evan Ovadia published Valen's borrow checker design on October 11th.
Group Borrowing Prototype
The prototype allows multiple references to read and write the same object without dangling references.
Tracking Reference Validity
Valen's design tracks where each reference points and what operations might invalidate them.
The one thing
Valen's prototype borrow checker enables multiple mutable references to the same object without dangling references.
