E0200E0200 — Un trait unsafe requiert un impl unsafe
Un trait unsafe doit être implémenté avec un bloc impl unsafe.
Causes de cette erreur
Le trait est déclaré comme unsafe, ce qui signifie que les implémenteurs doivent vérifier certains invariants. Le bloc impl doit également être marqué comme unsafe pour reconnaître ces exigences de sûreté.
Comment la corriger
Ajoutez le mot-clé unsafe au bloc impl : unsafe impl MyTrait for MyType. Ajoutez un commentaire de safety documentant les invariants que vous garantissez.
Codes d'erreur associés
E0317E0317 — Une clause else manque peut-être au if
Une expression if utilisée comme valeur n'a pas de branche else.
E0119E0119 — Implémentations de trait conflictuelles
Deux implémentations ou plus du même trait existent pour le même type.
panic-divide-by-zeroPanic — Division par zéro
Le programme a paniqué à cause d'une division entière par zéro.
E0255E0255 — Conflit de nom avec un import
Une définition locale entre en conflit avec un nom importé.
E0599E0599 — Aucune méthode nommée X trouvée pour ce type
La méthode n'existe pas sur le type donné, ou le trait requis n'est pas importé dans la portée.
E0596E0596 — Impossible d'emprunter en mutable
Vous essayez d'emprunter en mutable une valeur qui n'est pas déclarée comme mutable.