E0200E0200 — Trait Unsafe Memerlukan Impl Unsafe
Trait unsafe harus diimplementasikan dengan blok unsafe impl.
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.
Kode Error Terkait
E0317E0317 — if Mungkin Hilang Klausa else
Ekspresi if yang digunakan sebagai nilai tidak memiliki cabang else.
E0119E0119 — Implementasi Trait yang Konflik
Dua atau lebih implementasi trait yang sama ada untuk tipe yang sama.
panic-divide-by-zeroPanic — Pembagian dengan Nol
Program panik karena pembagian bilangan bulat dengan nol.
E0255E0255 — Konflik Nama dengan Impor
Definisi lokal konflik dengan nama yang diimpor.
E0599E0599 — Tidak Ada Metode Bernama X untuk Tipe Ini
Metode tersebut tidak ada pada tipe yang diberikan, atau trait yang diperlukan tidak ada dalam cakupan.
E0596E0596 — Tidak Dapat Meminjam sebagai Mutable
Anda mencoba meminjam nilai secara mutable yang tidak dideklarasikan sebagai mutable.