Closed
Description
Hello,
Very good document. I have a question, after reading "How Safe and Unsafe Interact" section, I am still confused about why "Safe Rust inherently has to trust that any Unsafe Rust it touches has been written correctly. On the other hand, Unsafe Rust has to be very careful about trusting Safe Rust."
Would it be possible to explain it a little bit more?
Thanks in advance!