3 ms·
The borrow checker isn't just about UB, it is mostly about memory safety. I'm sure you've seen plenty of use-after-frees/use-after-move/dangling pointer type t
by dafelst 2y ago
The borrow checker isn't just about UB, it is mostly about memory safety.
I'm sure you've seen plenty of use-after-frees/use-after-move/dangling pointer type things or null pointer derefs, or data races, etc etc. These are largely impossible to do in safe rust.