Does that include deadlock safety? Try running both of these examples. They only differ in a pair of curly braces. https://play.rust-lang.org/?version=stable&mode=debug&editio...…
Not him, but projects that need performance often use unsafe or otherwise allow for UB. Embedded is arguably another example, since no_std allows UB even without unsafe, for instance by causing a stack overflow.
https://github.com/rust-lang/rust/blob/main/library/core/src... How large a percentage of the logic code there is inside of an unsafe block? And, if you have an unsafe block that is 100% correct, but it relies on safe…
Does that include deadlock safety? Try running both of these examples. They only differ in a pair of curly braces. https://play.rust-lang.org/?version=stable&mode=debug&editio...…
Not him, but projects that need performance often use unsafe or otherwise allow for UB. Embedded is arguably another example, since no_std allows UB even without unsafe, for instance by causing a stack overflow.
https://github.com/rust-lang/rust/blob/main/library/core/src... How large a percentage of the logic code there is inside of an unsafe block? And, if you have an unsafe block that is 100% correct, but it relies on safe…