Comment Comment by gronpi It requires that the libraries you use do not have UB. If you have no unsafe, but your library does, you can get UB.https://github.com/rust-lang/rust/pull/139553This is why it may be a good idea to run MIRI on your Rust code, even when it has no unsafe, since a library like Rust stdlib might have UB. parent gronpi 1 year ago
https://github.com/rust-lang/rust/pull/139553
This is why it may be a good idea to run MIRI on your Rust code, even when it has no unsafe, since a library like Rust stdlib might have UB.