Lompat ke konten
Error Kompiler RustError
E0200

E0200 — Trait Unsafe Memerlukan Impl Unsafe

Trait unsafe harus diimplementasikan dengan blok unsafe impl.

rustcargo

Apa penyebab error ini

Trait dideklarasikan sebagai unsafe, yang berarti implementor harus memverifikasi invarian tertentu. Blok impl juga harus ditandai sebagai unsafe untuk mengakui persyaratan keamanan ini.

Cara memperbaikinya

Tambahkan kata kunci unsafe pada blok impl: unsafe impl MyTrait for MyType. Tambahkan komentar keamanan yang mendokumentasikan invarian mana yang Anda penuhi.

Dokumentasi Resmi

Kode Error Terkait