Work around rust-lang/rust#18732