Borrow checker
Subsistema do compilador do Rust que valida as regras de ownership e lifetime. Garante segurança de memória e de threads sem coletor de lixo. "Brigar com o borrow checker" é a fase clássica de todo iniciante.
Regras: uma referência mutável OU várias referências imutáveis, nunca as duas. Referências não podem sobreviver aos dados que apontam. O NLL (Non-Lexical Lifetimes, 2018) deixou o verificador mais esperto — as referências deixam de valer no último uso, não no fim do bloco. O Polonius (ainda em desenvolvimento) deve aceitar ainda mais programas corretos. Frustração clássica: código que "obviamente" é seguro acaba rejeitado. Com experiência, você passa a desenhar estruturas de dados amigáveis ao checker (mais Vec, menos lista encadeada).