Rust borrow checker
Składnik kompilatora Rusta egzekwujący reguły własności i czasu życia: jedna referencja mutowalna ALBO wiele niemutowalnych, a każda referencja żyje ściśle w granicach życia obiektu. Gwarantuje bezpieczeństwo pamięci bez GC.
NLL (Non-Lexical Lifetimes, 2018) złagodziło reguły — referencje „umierają” po ostatnim użyciu, a nie na końcu zakresu. Polonius (w toku) obiecuje jeszcze więcej swobody. Słynie z frustrowania początkujących („walka z borrow checkerem”). Doświadczeni rustacjanie przeformułowują problem i wtedy checker staje się rękawicą, która pomaga myśleć. Zainspirował: wyłączny dostęp w Swifcie, własność w Mojo, Carbon. Zero narzutu w czasie działania — działa wyłącznie podczas kompilacji.