mirror of
https://github.com/rust-lang/rust.git
synced 2026-05-16 13:05:18 +03:00
f60807dfee
Fixes https://github.com/rust-lang/rust-clippy/issues/14767 A long standing issue revealed by https://github.com/rust-lang/rust-clippy/pull/14397 changelog: none