1
Fork 0

rename: UnknownTool to UnknownToolInScopedLint

This commit is contained in:
Rejyr 2022-08-20 12:30:49 -04:00
parent 5d302d1148
commit dbe838079c
3 changed files with 5 additions and 5 deletions

View file

@ -412,5 +412,5 @@ lint_reason_must_be_string_literal = reason must be a string literal
lint_reason_must_come_last = reason in lint attribute must come last
lint_unknown_tool = unknown tool name `{$tool_name}` found in scoped lint: `{$tool_name}::{$lint_name}`
lint_unknown_tool_in_scoped_lint = unknown tool name `{$tool_name}` found in scoped lint: `{$tool_name}::{$lint_name}`
.help = add `#![register_tool({$tool_name})]` to the crate root