1
Fork 0

Rollup merge of #114490 - kernelmethod:error-reporting-typos, r=compiler-errors

Fix a typo in the error reporting for sealed traits.

Fixes a typo in error reporting: "implelement" -> "implement"
This commit is contained in:
Michael Goulet 2023-08-04 19:47:40 -07:00 committed by GitHub
commit c0231962e5
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions

View file

@ -2789,7 +2789,7 @@ impl<'tcx> TypeErrCtxtExt<'tcx> for TypeErrCtxt<'_, 'tcx> {
// implement this trait and list them. // implement this trait and list them.
err.note(format!( err.note(format!(
"`{short_item_name}` is a \"sealed trait\", because to implement \ "`{short_item_name}` is a \"sealed trait\", because to implement \
it you also need to implelement `{}`, which is not accessible; \ it you also need to implement `{}`, which is not accessible; \
this is usually done to force you to use one of the provided \ this is usually done to force you to use one of the provided \
types that already implement it", types that already implement it",
with_no_trimmed_paths!(tcx.def_path_str(def_id)), with_no_trimmed_paths!(tcx.def_path_str(def_id)),

View file

@ -9,7 +9,7 @@ note: required by a bound in `Sealed`
| |
LL | pub trait Sealed: self::b::Hidden { LL | pub trait Sealed: self::b::Hidden {
| ^^^^^^^^^^^^^^^ required by this bound in `Sealed` | ^^^^^^^^^^^^^^^ required by this bound in `Sealed`
= note: `Sealed` is a "sealed trait", because to implement it you also need to implelement `a::b::Hidden`, which is not accessible; this is usually done to force you to use one of the provided types that already implement it = note: `Sealed` is a "sealed trait", because to implement it you also need to implement `a::b::Hidden`, which is not accessible; this is usually done to force you to use one of the provided types that already implement it
error: aborting due to previous error error: aborting due to previous error