Work around rust-lang/rust#14344