Clarify when safety may rely on correctness#523

JohnTitor merged 2 commits into

rust-lang:masterrust-lang/nomicon:masterfrom

ia0:unsafeia0/nomicon:unsafeCopy head branch name to clipboard