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

`nodrop-union` -> `ManuallyDrop`

e60da21
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build
succeeded Jun 28, 2026 in 8s