diff options
Diffstat (limited to 'src/test/ui/lint/register-tool-lint.rs')
| -rw-r--r-- | src/test/ui/lint/register-tool-lint.rs | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/src/test/ui/lint/register-tool-lint.rs b/src/test/ui/lint/register-tool-lint.rs deleted file mode 100644 index 17d3afbf6..000000000 --- a/src/test/ui/lint/register-tool-lint.rs +++ /dev/null @@ -1,9 +0,0 @@ -#![crate_type = "lib"] -#![feature(register_tool)] -#![register_tool(xyz)] -#![warn(xyz::my_lint)] // this should not error -#![warn(abc::my_lint)] -//~^ ERROR unknown tool name `abc` found in scoped lint -//~| HELP add `#![register_tool(abc)]` -//~| ERROR unknown tool name `abc` -//~| HELP add `#![register_tool(abc)]` |