diff options
| author | bors <bors@rust-lang.org> | 2020-11-26 18:51:45 +0000 | 
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2020-11-26 18:51:45 +0000 | 
| commit | 72da5a9d85a522b11e80d0fdd1fd95247d442604 (patch) | |
| tree | a8bb60c04cf42d64d9e8bbf5a56b0bed0cdf69c1 /src/test/rustdoc/through-proc-macro.rs | |
| parent | 65ecc481fac7ceced57d973a580d0a7ccbdcb192 (diff) | |
| parent | e54c0600b4ba25b0f7af582d9878bfd5c88736bc (diff) | |
| download | rust-72da5a9d85a522b11e80d0fdd1fd95247d442604.tar.gz rust-72da5a9d85a522b11e80d0fdd1fd95247d442604.zip | |
Auto merge of #77671 - flip1995:lint_list_always_plugins, r=oli-obk,Manishearth
Always print lints from plugins, if they're available Currently you can get a list of lints and lint groups by running `rustc -Whelp`. This prints an additional line at the end: ``` Compiler plugins can provide additional lints and lint groups. To see a listing of these, re-run `rustc -W help` with a crate filename. ``` Clippy is such a "compiler plugin", that provides additional lints. Running `clippy-driver -Whelp` (`rustc` wrapper) still only prints the rustc lints with the above message at the end. But when running `clippy-driver -Whelp main.rs`, where `main.rs` is any rust file, it also prints Clippy lints. I don't think this is a good approach from a UX perspective: Why is a random file necessary to print a help message? This PR changes this behavior: Whenever a compiler callback registers lints, it is assumed that these lints come from a plugin and are printed without having to specify a Rust source file. Fixes rust-lang/rust-clippy#6122 cc `@Manishearth` `@ebroto` for the Clippy changes.
Diffstat (limited to 'src/test/rustdoc/through-proc-macro.rs')
0 files changed, 0 insertions, 0 deletions
