Vai al contenuto
Errori del compilatore RustErrore
E0200

E0200 — Un Trait Unsafe Richiede un impl unsafe

Un trait unsafe deve essere implementato con un blocco unsafe impl.

rustcargo

Cause di questo errore

Il trait è dichiarato come unsafe, il che significa che gli implementatori devono verificare determinati invarianti. Anche il blocco impl deve essere contrassegnato come unsafe per riconoscere questi requisiti di sicurezza.

Come correggerlo

Aggiungi la keyword unsafe al blocco impl: unsafe impl MyTrait for MyType. Aggiungi un commento di sicurezza che documenti quali invarianti stai rispettando.

Documentazione ufficiale

Codici di errore correlati