mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

lint: port trivial bounds diagnostics

Browse Source 
Signed-off-by: David Wood <david.wood@huawei.com>
This commit is contained in:
David Wood 2022-06-28 14:09:25 +01:00
parent 01a64af4dd
commit 3c9bda5b20
2 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
compiler/rustc_error_messages/locales/en-US/lint.ftl
View File

@ -366,3 +366,5 @@ lint-builtin-type-alias-where-clause = where clauses are not enforced in type al
lint-builtin-type-alias-generic-bounds = bounds on generic parameters are not enforced in type aliases lint-builtin-type-alias-generic-bounds = bounds on generic parameters are not enforced in type aliases
.suggestion = the bound will not be checked when the type alias is used, and should be removed .suggestion = the bound will not be checked when the type alias is used, and should be removed
lint-builtin-trivial-bounds = {$predicate_kind_name} bound {$predicate} does not depend on any type or lifetime parameters

10
compiler/rustc_lint/src/builtin.rs
View File

@ -1671,12 +1671,10 @@ impl<'tcx> LateLintPass<'tcx> for TrivialConstraints {
}; };
if predicate.is_global() { if predicate.is_global() {
cx.struct_span_lint(TRIVIAL_BOUNDS, span, |lint| { cx.struct_span_lint(TRIVIAL_BOUNDS, span, |lint| {
lint.build(&format!( lint.build(fluent::lint::builtin_trivial_bounds)
"{} bound {} does not depend on any type \ .set_arg("predicate_kind_name", predicate_kind_name)
or lifetime parameters", .set_arg("predicate", predicate)
predicate_kind_name, predicate .emit();
))
.emit();
}); });
} }
} }