src/test/ui/lint/register-tool-lint.rs

   1 #![crate_type = "lib"]
   2 #![feature(register_tool)]
   3 #![register_tool(xyz)]
   4 #![warn(xyz::my_lint)] // this should not error
   5 #![warn(abc::my_lint)]
   6 //~^ ERROR unknown tool name `abc` found in scoped lint
   7 //~| HELP add `#![register_tool(abc)]`
   8 //~| ERROR unknown tool name `abc`
   9 //~| HELP add `#![register_tool(abc)]`