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