adjust Stacked Borrows spec to allow deallocation of &UnsafeCell#343

RalfJung merged 2 commits intorust-lang:masterrust-lang/unsafe-code-guidelines:masterfrom

RalfJung:sbRalfJung/unsafe-code-guidelines:sbCopy head branch name to clipboard