" А в расте встроенный статический анализатор, который ещё позволяет размечать код, оставляя там подсказки этому анализатору. "
это хорошо но сомнительно что он реально сможет ловить все косяки столь сложного синтаксиса который постоянно меняют, и вообще, сишникам и тем более плюсовикам на осознание типовых проблем потребовалось много лет, а тут - бац и в дамки? а такое бывает вообще? или это маркетинг?

"Ога-ога. С каждой версией меняют написание ключевого слова unsafe. Да. Точно. Как же я мог забыть об этом."
будет где-нибудь в редоксе каком-нибудь 10 000 хитов этого слова, и дальше чего? а, ну мы же умные, ассемблер возьмем и анализер перестанет матюкаться.