E0200E0200 — Unsafe trait vyžaduje unsafe impl
Unsafe trait musí být implementován blokem unsafe impl.
Co způsobuje tuto chybu
Trait je deklarován jako unsafe, což znamená, že implementátoři musí ověřit určité invarianty. Blok impl musí být také označen jako unsafe, aby tuto bezpečnostní povinnost potvrdil.
Jak to opravit
Přidejte klíčové slovo unsafe do bloku impl: unsafe impl MyTrait for MyType. Přidejte komentář o bezpečnosti dokumentující, které invarianty dodržujete.
Související chybové kódy
E0317E0317 — Výrazu if možná chybí větev else
Výraz if použitý jako hodnota postrádá větev else.
E0119E0119 — Konfliktní implementace traitu
Pro stejný typ existují dvě nebo více implementací stejného traitu.
panic-divide-by-zeroPanic — Dělení nulou
Program selhal panickou chybou kvůli celočíselnému dělení nulou.
E0255E0255 — Konflikt názvu s importem
Lokální definice koliduje s importovaným názvem.
E0599E0599 — Na typu nebyla nalezena metoda X
Metoda na daném typu neexistuje, nebo požadovaný trait není v rozsahu.
E0596E0596 — Nelze půjčit jako mutovatelné
Pokoušíte se mutovatelně půjčit hodnotu, která není deklarována jako mutovatelná.