E0200E0200 — Unsafe-trait vereist unsafe impl
Een unsafe-trait moet worden geïmplementeerd met een unsafe impl-blok.
Wat veroorzaakt deze fout
De trait is gedeclareerd als unsafe, wat betekent dat implementeerders bepaalde invarianten moeten verifiëren. Het impl-blok moet ook als unsafe worden gemarkeerd om deze veiligheidsvereisten te erkennen.
Hoe op te lossen
Voeg het sleutelwoord unsafe toe aan het impl-blok: unsafe impl MyTrait for MyType. Voeg een veiligheidscommentaar toe waarin je documenteert welke invarianten je handhaaft.
Gerelateerde foutcodes
E0317E0317 — if mist mogelijk een else-clausule
Een if-expressie die als waarde wordt gebruikt, mist een else-tak.
E0119E0119 — Conflicterende trait-implementaties
Er bestaan twee of meer implementaties van dezelfde trait voor hetzelfde type.
panic-divide-by-zeroPanic — Deling door Nul
Het programma is gepanickt vanwege een gehele deling door nul.
E0255E0255 — Naamconflict met import
Een lokale definitie conflicteert met een geïmporteerde naam.
E0599E0599 — Geen Methode X Gevonden voor Type
De methode bestaat niet op het opgegeven type, of de vereiste trait is niet in scope.
E0596E0596 — Kan niet mutueel lenen
U probeert een waarde mutueel te lenen die niet als mutueel is gedeclareerd.