Rust borrow checker
Rust derleyicisinin sahiplik ve ömür kurallarını uygulayan bileşeni: ya tek bir değiştirilebilir ya da çok sayıda değiştirilemez referans; tüm referanslar nesnenin ömrü içinde kalmak zorunda. Çöp toplayıcı olmadan bellek güvenliğini garanti eder.
NLL (Non-Lexical Lifetimes, 2018) kuralları daha esnek yaptı: referanslar kapsamın sonunda değil, artık kullanılmadıklarında ölür. Polonius (geliştirilmekte) daha da fazla esneklik vaat ediyor. Yeni başlayanlar için ünlü bir sinir kaynağıdır (“borrow checker’la savaşmak”). Deneyimli Rust geliştiricileri sorunu yeniden kurar; denetleyici düşünmeye yardım eden bir eldivene dönüşür. Swift’in özel erişimine, Mojo’nun sahipliğine ve Carbon’a ilham verdi. Çalışma zamanı yükü yoktur — tamamen derleme zamanında işler.