ну ладно, будем считать что я согласился)

> It is the programmer's responsibility when writing unsafe code to ensure that any safe code interacting with the unsafe code cannot trigger these behaviors. unsafe code that satisfies this property for any safe client is called sound; if unsafe code can be misused by safe code to exhibit undefined behavior, it is unsound.

Если возможно вызвать UB в safe-коде, то любой unsafe-код — unsound (что, очевидно, не то, что хотели сказать)

https://doc.rust-lang.org/nomicon/safe-unsafe-meaning.html

> No matter what, Safe Rust can't cause Undefined Behavior.

В Номиконе написано буквально дословно это

Если ты заявишь, что Номикон — художественная литература, а не гарантия, мне даж спорить будет лень.

не, я ж не полунин

ну в принципе так и есть

Но невозможно писать код на расте без ансейфа

🤷‍♀

В Rust вся документация — художественная литература, так что вопрос не имеет смысла.

Да, вопрос был не в этом

именно, в этом то и проблема, где единственный источник правды?)

Код rustc же.

Там есть уб в сейф коде

mrustc и rust-gcc оба заявляют, что их цель — совместимость с whatever rustc does.

Тот же loop {}

Это признано багом в issues.

Это уб, и пофиг баг или нет

Это уже давно не UB, там надо сложнее изощряться.

Условно