UnsafePinned: also include the effects of UnsafeCell#140638

bors merged 2 commits into

rust-lang:masterrust-lang/rust:masterfrom

RalfJung:unsafe-pinned-shared-aliasedRalfJung/rust:unsafe-pinned-shared-aliasedCopy head branch name to clipboard