|
|
|
|
|
|
by ralfj
1412 days ago
|
|
|
> Are there any formal (or formal-ish) grounds for saying that only authors of unsafe code need to be aware of Undefined Behaviour in Rust? Yes. It's called type safety / type soundness: you cannot cause UB in safe code. I literally did a PhD on that topic: https://research.ralfj.de/phd/thesis-screen.pdf |
|
|