Borrow checker
Podsystem kompilatora Rusta weryfikujący zasady własności i czasów życia. Gwarantuje bezpieczeństwo pamięci i wątków bez odśmiecacza. „Walka z borrow checkerem" to klasyczny etap każdego początkującego.
Zasady: jedna referencja mutowalna ALBO kilka niemutowalnych, nigdy obie naraz. Referencje nie mogą przeżyć danych, na które wskazują. NLL (Non-Lexical Lifetimes, 2018) uczyniło kontroler mądrzejszym — referencja przestaje obowiązywać przy ostatnim użyciu, a nie na końcu bloku. Polonius (w rozwoju) ma przyjmować jeszcze więcej poprawnych programów. Klasyczna frustracja: kod, który „oczywiście" jest bezpieczny, zostaje odrzucony. Z doświadczeniem zaczyna się projektować struktury danych przyjazne dla checkera (więcej Vec, mniej list powiązanych).