Osobně si nechávám přes cargo-geiger vypsat knihovny s unsafe a dvakrát si rozmýšlím jestli konkrétní knihovnu vůbec použít.
I tak se ale bavíme o knihovně s nějakými unsafe bloky, která pořád těží třeba z borrow-checkeru (ten unsafe nevyřadí) a které můžou být teoreticky unsound. A v případě problému je hned jasné kde hledat.
V porovnání s knihovnou v C/C++, kde může být unsound naprosto cokoliv a má podstatně větší prostor k chybě vývojáře.