Skip to content

nodrop -> ManuallyDrop#34

Open
joshtriplett wants to merge 1 commit into
rust-lang:mainfrom
joshtriplett:nodrop
Open

nodrop -> ManuallyDrop#34
joshtriplett wants to merge 1 commit into
rust-lang:mainfrom
joshtriplett:nodrop

Commits

Commits on Jun 28, 2026