reference type safety invariant docs: clarification#125043

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

RalfJung:ref-type-safety-invariantRalfJung/rust:ref-type-safety-invariantCopy head branch name to clipboard