Comment Re: Welcome (Score 1) 258
even unsafe rust offers a lot more safety guarantees
That would be lovely, except...
"The following list is not exhaustive; it may grow or shrink. There is no formal model of Rust's semantics for what is and is not allowed in unsafe code, so there may be more behavior considered unsafe."
...well, I'm not sure how much I'd trust code where I'm not even sure that what I've just written is correctly defined and where I don't even have a way to find out.