This will have to change after #12747 lands: https://github.com/mozilla/rust/pull/12747/files#diff-1549ab8fe181dacd0922ab15063fd424R108