Saltar al contenido
Errores del Compilador de RustError
E0200

E0200 — Un trait unsafe requiere un impl unsafe

Un trait unsafe debe implementarse con un bloque impl unsafe.

rustcargo

Qué causa este error

El trait está declarado como unsafe, lo que significa que los implementadores deben verificar ciertas invariantes. El bloque impl también debe marcarse como unsafe para reconocer estos requisitos de seguridad.

Cómo solucionarlo

Añade la palabra clave unsafe al bloque impl: unsafe impl MyTrait for MyType. Añade un comentario de seguridad documentando qué invariantes estás cumpliendo.

Documentación Oficial

Códigos de Error Relacionados