17 Mar
2025
17 Mar
'25
7:05 p.m.
On Mon, Mar 17, 2025 at 2:50 PM Tamir Duberstein tamird@gmail.com wrote:
On Mon, Mar 17, 2025 at 2:17 PM Boqun Feng boqun.feng@gmail.com wrote:
Then we should fix clippy or how we set msrv rather adding the stub. @Miguel?
I filed https://github.com/rust-lang/rust-clippy/issues/14425.
I don't think we can wait for that to be fixed, though. Usually clippy is distributed with rustc via rustup, so even if this is eventually fixed, all versions between 1.84.0 and the fix will need this workaround until MSRV is >= 1.84.0.