借用チェッカー
所有権とライフタイムのルールを検証するRustコンパイラの仕組み。ガベージコレクタなしでメモリ安全性とスレッド安全性を保証する。「借用チェッカーとの戦い」は初心者が必ず通る道だ。
ルールは、可変参照が一つ、または不変参照が複数、両方は不可、というもの。参照は指す先のデータより長く生きてはならない。2018年のNLL（Non-Lexical Lifetimes）で、参照の有効範囲がブロック末尾ではなく最後の使用箇所までになり、検査は賢くなった。開発中のPoloniusは、さらに多くの正しいプログラムを受理できるようにする見込みだ。
典型的な不満は、「明らかに安全」なコードが弾かれることである。慣れてくると、チェッカーに優しいデータ構造（連結リストよりVec）を最初から設計するようになる。