Rust's borrow checker is its single most distinctive feature, and that is inspired by the work done in the Cyclone language.