explicit adt_dtorck_constraint
for ManuallyDrop
#110323
Merged
bors merged 1 commit intorust-lang:masterfrom Apr 15, 2023
Merged
explicit `adt_dtorck_constraint` for `ManuallyDrop`#110323bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom