2b80829fe0
Trying to work around a crash (see https://github.com/rust-lang/rust-clippy/issues/3628) in https://github.com/rust-lang/rust/pull/57303