More precisely document Global::deallocate()'s safety.#137641

bors merged 1 commit into

rust-lang:masterrust-lang/rust:masterfrom

kpreid:deallockpreid/rust:deallocCopy head branch name to clipboard