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

Commits

Commits on Jan 17, 2021