Skip to content

Add Drop::pin_drop for pinned drops#144537

Merged
rust-bors[bot] merged 3 commits into
rust-lang:mainfrom
frank-king:feature/pin-drop
May 10, 2026
Merged

Add Drop::pin_drop for pinned drops#144537
rust-bors[bot] merged 3 commits into
rust-lang:mainfrom
frank-king:feature/pin-drop

Commits

Commits on May 9, 2026