fix rust-lang/rust issue #50583#56725

Merged

bors merged 1 commit intorust-lang:masterfrom piersfinlayson:master

Dec 15, 2018

+2-2

Commits on Dec 11, 2018

fix rust-lang/rust issue rust-lang#50583
piersfinlayson
committed