Skip to content

Visit only terminators when removing unneeded drops#81122

Merged
bors merged 1 commit intorust-lang:masterfrom
tmiasko:no-drop
Jan 21, 2021
Merged

Visit only terminators when removing unneeded drops#81122
bors merged 1 commit intorust-lang:masterfrom
tmiasko:no-drop

Commits

Commits on Jan 17, 2021