E0200E0200 — Trait unsafe wymaga implementacji unsafe impl
Niebezpieczny trait musi być implementowany za pomocą bloku unsafe impl.
Co powoduje ten błąd
Trait jest zadeklarowany jako unsafe, co oznacza, że implementujący muszą zweryfikować określone niezmienniki. Blok impl musi być również oznaczony jako unsafe, aby potwierdzić te wymagania bezpieczeństwa.
Jak to naprawić
Dodaj słowo kluczowe unsafe do bloku impl: unsafe impl MyTrait for MyType. Dodaj komentarz bezpieczeństwa dokumentujący, które niezmienniki są przestrzegane.
Powiązane kody błędów
E0317E0317 — Wyrażenie if może nie mieć gałęzi else
Wyrażeniu if używanemu jako wartość brakuje gałęzi else.
E0119E0119 — Kolidujące implementacje traitu
Dla tego samego typu istnieją dwie lub więcej implementacji tego samego traitu.
panic-divide-by-zeroPanic — Dzielenie przez zero
Program wywołał panic z powodu dzielenia całkowitoliczbowego przez zero.
E0255E0255 — Konflikt nazwy z importem
Lokalna definicja koliduje z zaimportowaną nazwą.
E0599E0599 — Brak metody o nazwie X dla danego typu
Metoda nie istnieje dla danego typu lub wymagana cecha nie jest w zasięgu.
E0596E0596 — Nie można pożyczyć jako mutowalny
Próbujesz mutowanie pożyczyć wartość, która nie jest zadeklarowana jako mutowalna.