Les développeurs peuvent désactiver Polonius Alpha et utiliser le vérificateur d’emprunt NLL stable en passant -Zpolonius=off à rustc en utilisant RUSTFLAGS=-Zpolonius=offou en incluant les éléments suivants dans le fichier d’un projet .cargo/config.toml fichier de configuration :
(target.x86_64-unknown-linux-gnu)
rustflags = ("-Zpolonius=off")Le vérificateur d’emprunt Polonius est en préparation depuis 2018. En 2023, une nouvelle formulation du vérificateur d’emprunt Polonius a été proposée, qui nécessitait une réarchitecture minimale de l’implémentation NLL (durée de vie non lexicale) existante et pourrait être étendue pour permettre la compilation de plus de code solide, selon Huey. La stabilisation de cette mise en œuvre a été retardée jusqu’à présent.
Le vérificateur d’emprunt est un composant du compilateur Rust qui applique des règles strictes sur les références ou les emprunts. Il s’agit notamment de garantir que toutes les variables sont initialisées avant d’être utilisées, que la même valeur n’est pas déplacée deux fois, qu’une valeur n’est pas déplacée pendant qu’elle est empruntée, qu’un lieu n’est pas accessible lorsqu’il est emprunté de manière mutable (sauf via la référence), et qu’un lieu n’est pas muté alors qu’il est emprunté de manière immuable, selon la documentation Rust.
