Fix warnings about renamed lints

[ghost]

No description provided.

[rust-highfive]

Thanks for the pull request, and welcome! The Rust team is excited to review your changes, and you should hear from @aturon (or someone else) soon.

[japaric]

@aturon There's an earlier PR (#18656) that also fixes these warnings

[aturon]

@japaric Thanks for the heads-up.

I'm going to go ahead and close this in favor of the earlier PR. Thanks for the contribution!