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í.
Toto vlastně znamená, že argument, že je potřeba dělat důkladný review jen té unsafe části neplatí.
Platí. Ale musíte udělat nový review unsafe částí, i když zasáhnete do čehokoliv (safe i unsafe), co se v tom unsafe používá. Mohly totiž přestat platit nějaké invarianty.
Říkáme zhruba to samé, ale z jiného úhlu pohledu.
Unsafe je totiž jen označení kódu, kde (některá) pravidla hlídá a garantuje programátor.