1
Fork 0

basic lint v2 implemented

This commit is contained in:
Arthur Lafrance 2023-09-25 00:15:00 -07:00
parent 8769e02d0b
commit f77dea89e1
8 changed files with 69 additions and 43 deletions

View file

@ -494,6 +494,8 @@ lint_renamed_lint = lint `{$name}` has been renamed to `{$replace}`
lint_requested_level = requested on the command line with `{$level} {$lint_name}`
lint_span_use_eq_ctxt = use `eq_ctxt()` not `ctxt() == ctxt()`
lint_supertrait_as_deref_target = `{$t}` implements `Deref` with supertrait `{$target_principal}` as target
.label = target type is set here