Fix breakage due to rust-lang/rust#60225#4040

Merged

bors merged 1 commit intomasterfrom unknown repository

Apr 28, 2019

+78-74

Commits on Apr 28, 2019

Fix breakage due to rust-lang/rust#60225
Michael Wright
committed