-#![deny(foo::bar)] //~ ERROR an unknown tool name found in scoped lint: `foo::bar`
- //~| ERROR an unknown tool name found in scoped lint: `foo::bar`
- //~| ERROR an unknown tool name found in scoped lint: `foo::bar`
+#![deny(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`
-#[allow(foo::bar)] //~ ERROR an unknown tool name found in scoped lint: `foo::bar`
- //~| ERROR an unknown tool name found in scoped lint: `foo::bar`
- //~| ERROR an unknown tool name found in scoped lint: `foo::bar`
+#[allow(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() {}