Rust借用チェッカー
所有権とライフタイムの規則を強制するRustコンパイラの部品。可変参照は一つだけ、または不変参照は複数、という制約と、参照がオブジェクトの寿命内に収まることを保証し、GCなしでメモリ安全性を実現する。
2018年のNLL(Non-Lexical Lifetimes)により規則は緩和され、参照はスコープの終わりではなく最後に使われた時点で終了するようになった。開発中のPoloniusはさらなる柔軟性を約束している。初心者にとっては悪名高い壁で、「借用チェッカーとの戦い」と呼ばれる。熟練者は問題の捉え方を変え、チェッカーを思考を助ける手袋にしてしまう。Swiftの排他的アクセス、MojoやCarbonの所有権モデルにも影響を与えた。実行時のオーバーヘッドはなく、すべてコンパイル時に完結する。