Skip to content

nodrop-union -> ManuallyDrop#35

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

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

Commits

Commits on Jun 28, 2026