fix rustc_nonnull_optimization_guaranteed docs#130689

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

RalfJung:rustc_nonnull_optimization_guaranteedRalfJung/rust:rustc_nonnull_optimization_guaranteedCopy head branch name to clipboard