Follow-up of rust-lang/rust#75152#235

Merged

Mark-Simulacrum merged 1 commit intorust-lang:masterfrom

JohnTitor:fix-more

Aug 19, 2020

Commits on Aug 18, 2020

Follow-up of rust-lang/rust#75152
JohnTitor
committed