1 #![deny(foo::bar)] //~ ERROR an unknown tool name found in scoped lint: `foo::bar`
2 //~| ERROR an unknown tool name found in scoped lint: `foo::bar`
3 //~| ERROR an unknown tool name found in scoped lint: `foo::bar`
5 #[allow(foo::bar)] //~ ERROR an unknown tool name found in scoped lint: `foo::bar`
6 //~| ERROR an unknown tool name found in scoped lint: `foo::bar`
7 //~| ERROR an unknown tool name found in scoped lint: `foo::bar`