3 ms·
Yes, but if a developer can't trust the abstractions then isolating unsafe code behind them is of no value.
by mike_hearn 2y ago
Yes, but if a developer can't trust the abstractions then isolating unsafe code behind them is of no value.
- commodoreboxer 2y agoGiven the story at hand, it sounds like the center incorrectly assumed the compiler would prevent UB even in unsafe blocks. They wouldn't be saying "But the compiler said it was okay" if it wasn't unsafe code they had written. I think the story is just somebody who didn't actually learn unsafe Rust properly (and I'm struggling to give it the benefit of the doubt, as it sounds quite exaggerated; I couldn't imagine a novice Rust dev literally crying because they thought unsafe blocks couldn't cause UB. If you were that emotionally attached to the language, I'd expect you to have learned what unsafe means).