Os desenvolvedores podem desativar o Polonius Alpha e usar o verificador de empréstimo NLL estável passando -Zpolonius=off para rustc usando RUSTFLAGS=-Zpolonius=offou incluindo o seguinte em um projeto .cargo/config.toml arquivo de configuração:
(target.x86_64-unknown-linux-gnu)
rustflags = ("-Zpolonius=off")O verificador de empréstimo Polonius está em obras desde 2018. Em 2023, foi proposta uma nova formulação de um verificador de empréstimo Polonius que exigia uma rearquitetura mínima da implementação NLL (tempo de vida não lexical) existente e poderia ser estendida para permitir a compilação de mais código sólido, de acordo com Huey. A estabilização dessa implementação foi adiada até agora.
O verificador de empréstimo é um componente do compilador Rust que impõe regras estritas sobre referências ou empréstimos. Isso inclui garantir que todas as variáveis sejam inicializadas antes de serem usadas, que o mesmo valor não seja movido duas vezes, que um valor não seja movido enquanto for emprestado, que um local não seja acessado enquanto for emprestado de forma mutável (exceto através da referência) e que um local não sofra mutação enquanto for emprestado de forma imutável, de acordo com a documentação do Rust.
