The Borrow Checker
The compiler pass that enforces aliasing-XOR-mutability and lifetime validity, rejecting dangling references and use-after-move before the program runs. Since non-lexical lifetimes, a borrow ends at its last use rather than at the closing brace, so many previously rejected but safe patterns compile.
This Concept is waiting for its first lesson!
The compiler pass that enforces aliasing-XOR-mutability and lifetime validity, rejecting dangling references and use-after-move before the program runs. Since non-lexical lifetimes, a borrow ends at its last use rather than at the closing brace, so many previously rejected but safe patterns compile.
Are you a teacher? Sign in to start contributing.
Sign In