Odpověď na názor

> Pokud jsou všechny unsafe bloky v pořádku, tak nejde v safe kódu způsobit UB.

Bohužel tohle neplatí. Viz třeba

fn index(idx: usize, arr: &[u8]) -> Option<u8> {
    if idx <= arr.len() {
        unsafe {
            Some(*arr.get_unchecked(idx))
        }
    } else {
        None
    }
}

kde špatně je menší nebo rovno, v safe kódu. Unsafe část je naprosto v pořádku. Když to budete opravovat, tak do unsafe části nemusíte vůbec šahat.