[flagged]
I do not believe that I agree, and I am not sure about all of your numbers. The borrow checker does add something, but it definitely costs something as well in multiple ways, also in terms of how it is done in Rust and…
Which definition of UB are you using regarding that? Behavior changing based on configuration does not seem like UB, at least if none of the configurations allow for UB.
Unsafe is not necessary to trigger UB in case no_std is used. Nor if one of the soundness holes in the Rust programming language itself is encountered. Nor if there is UB in one of the libraries used as a dependency by…
[flagged]
[flagged]
I do not believe that I agree, and I am not sure about all of your numbers. The borrow checker does add something, but it definitely costs something as well in multiple ways, also in terms of how it is done in Rust and…
Which definition of UB are you using regarding that? Behavior changing based on configuration does not seem like UB, at least if none of the configurations allow for UB.
Unsafe is not necessary to trigger UB in case no_std is used. Nor if one of the soundness holes in the Rust programming language itself is encountered. Nor if there is UB in one of the libraries used as a dependency by…