https://github.com/rust-lang/rust/pull/34890 was merged, but it should have had an accompanying test.