2018-07-04 14:25:33 +02:00
|
|
|
#[warn(foo::bar)]
|
|
|
|
//~^ ERROR an unknown tool name found in scoped lint: `foo::bar`
|
2020-01-08 20:02:10 +03:00
|
|
|
//~| ERROR an unknown tool name found in scoped lint: `foo::bar`
|
|
|
|
//~| ERROR an unknown tool name found in scoped lint: `foo::bar`
|
2018-07-04 14:25:33 +02:00
|
|
|
fn main() {}
|