Update for mozilla/rust#10701.