Skip to content

UnsafePinned: implement opsem effects of UnsafeUnpin#151365

Open
RalfJung wants to merge 2 commits intorust-lang:mainfrom
RalfJung:unsafe-unpin-opsem
Open

UnsafePinned: implement opsem effects of UnsafeUnpin#151365
RalfJung wants to merge 2 commits intorust-lang:mainfrom
RalfJung:unsafe-unpin-opsem

Commits