> If Rust optimizes based on borrow-checker assumptions This is a binary assumption that you can understand to evaluate to "true" in the absence of a borrow ch

> If Rust optimizes based on borrow-checker assumptions This is a binary assumption that you can understand to evaluate to "true" in the absence of a borrow checker. If it is "false" it halts the compiler