We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
clippy-driver
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Hello, this is your friendly neighborhood mergebot. After merging PR #70692, I observed that the tool clippy-driver no longer builds. A follow-up PR to the repository https://github.com/rust-lang/rust-clippy is needed to fix the fallout.
cc @Centril, do you think you would have time to do the follow-up work? If so, that would be great!
And nominating for compiler team prioritization.
The text was updated successfully, but these errors were encountered:
Auto merge of rust-lang#70809 - matthiaskrgr:submodule_upd, r=Mark-Si…
6387b09
…mulacrum submodules: update clippy from 326b220 to 7907abe Changes: ```` Rustup to rust-lang#70634 Update clippy_lints/src/types.rs Update types.rs Update types.rs Improve docs for option_option useless Rc<Rc<T>>, Rc<Box<T>>, Rc<&T>, Box<&T> Allow let_underscore Update option_option ui test Test for ignoring let_underscore_must_use Downgrade option_option to pedantic ```` Fixes rust-lang#70709
04a38e7
oli-obk
Manishearth
yaahc
phansch
mcarton
llogiq
flip1995
Successfully merging a pull request may close this issue.
Hello, this is your friendly neighborhood mergebot.
After merging PR #70692, I observed that the tool clippy-driver no longer builds.
A follow-up PR to the repository https://github.com/rust-lang/rust-clippy is needed to fix the fallout.
cc @Centril, do you think you would have time to do the follow-up work?
If so, that would be great!
And nominating for compiler team prioritization.
The text was updated successfully, but these errors were encountered: