Adding this would likely have prevented https://github.com/rust-lang/rust/pull/83372#issuecomment-804135923.