Odpovídáte na názor k článku Rust v jádře má první zranitelnost. Názory mohou přidávat pouze registrovaní uživatelé. Nově přidané názory se na webu objeví až po schválení redakcí.
> A jinak bych teda řekl, že pro většinu unsafe operací ty invarianty jsou docela dobře ohraničené okolním kódem
U datových struktur je to většinou ohraničeno celou strukturou. Takže to může být několik tisíc řádků.
Navíc hodně balíčků obsahuje unsafe. Je docela těžké najít balík bez unsafe.