Skip to content

Rename ~const Drop to ~const Destruct#94901

Merged
bors merged 3 commits intorust-lang:masterfrom
fee1-dead-contrib:destructable
Mar 23, 2022
Merged

Rename `~const Drop` to `~const Destruct`#94901
bors merged 3 commits intorust-lang:masterfrom
fee1-dead-contrib:destructable

Commits

Commits on Mar 21, 2022