diff options
| author | Michael Goulet <michael@errs.io> | 2023-09-02 04:02:11 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2023-09-07 00:49:09 +0000 |
| commit | e10262ca0aa2ff434b33898d1d03413fdde60edf (patch) | |
| tree | 2ae53a01dc25e3c04aa6a7f0e1c7254a1142d8e5 /compiler/rustc_hir_analysis/messages.ftl | |
| parent | b0d45536acf8be99036c6a1261359e3cf89f9d63 (diff) | |
| download | rust-e10262ca0aa2ff434b33898d1d03413fdde60edf.tar.gz rust-e10262ca0aa2ff434b33898d1d03413fdde60edf.zip | |
Implement refinement lint for RPITIT
Diffstat (limited to 'compiler/rustc_hir_analysis/messages.ftl')
| -rw-r--r-- | compiler/rustc_hir_analysis/messages.ftl | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/compiler/rustc_hir_analysis/messages.ftl b/compiler/rustc_hir_analysis/messages.ftl index 597cae6ff33..6a08fc528d7 100644 --- a/compiler/rustc_hir_analysis/messages.ftl +++ b/compiler/rustc_hir_analysis/messages.ftl @@ -222,6 +222,11 @@ hir_analysis_return_type_notation_on_non_rpitit = .note = function returns `{$ty}`, which is not compatible with associated type return bounds .label = this function must be `async` or return `impl Trait` +hir_analysis_rpitit_refined = impl trait in impl method signature does not match trait method signature + .suggestion = replace the return type so that it matches the trait + .label = return type from trait method defined here + .unmatched_bound_label = this bound is stronger than that defined on the trait + hir_analysis_self_in_impl_self = `Self` is not valid in the self type of an impl block .note = replace `Self` with a different type |