e3031fe22a
Previously, there was no way to add a custom tool prefix, even if the tool itself had registered a lint: ``` #![feature(register_tool)] #![register_tool(xyz)] #![warn(xyz::my_lint)] ``` ``` $ rustc unknown-lint.rs --crate-type lib error[E0710]: an unknown tool name found in scoped lint: `xyz::my_lint` --> unknown-lint.rs:3:9 | 3 | #![warn(xyz::my_lint)] | ^^^ ``` This allows opting-in to lints from other tools using `register_tool`.
5 lines
235 B
Rust
5 lines
235 B
Rust
#[warn(foo::bar)]
|
|
//~^ ERROR unknown tool name `foo` found in scoped lint: `foo::bar`
|
|
//~| ERROR unknown tool name `foo` found in scoped lint: `foo::bar`
|
|
//~| ERROR unknown tool name `foo` found in scoped lint: `foo::bar`
|
|
fn main() {}
|