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

   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`
   4
   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`
   8 fn main() {}