src/test/ui/unknown-lint-tool-name.rs

   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`
   3
   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`
   6 fn main() {}