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

Commits

Commits on Sep 23, 2022