Work around rust-lang/rust#17594