Skip to content

UnsafePinned: also include the effects of UnsafeCell#140638

Merged
bors merged 2 commits intorust-lang:masterfrom
RalfJung:unsafe-pinned-shared-aliased
Jun 5, 2025
Merged

UnsafePinned: also include the effects of UnsafeCell#140638
bors merged 2 commits intorust-lang:masterfrom
RalfJung:unsafe-pinned-shared-aliased

Commits

Commits on May 28, 2025