Skip to content

Make ManuallyDrop satisfy ~const Destruct#102204

Merged
bors merged 1 commit intorust-lang:masterfrom
fee1-dead-contrib:manually-drop-trivially-drop
Sep 24, 2022
Merged

Make `ManuallyDrop` satisfy `~const Destruct`#102204
bors merged 1 commit intorust-lang:masterfrom
fee1-dead-contrib:manually-drop-trivially-drop

Commits

Commits on Sep 23, 2022