bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Fix a typo in the error reporting for sealed traits.

Browse source
This commit is contained in:
kernelmethod 2023-08-05 00:38:52 +00:00
parent e173a8e663
commit d64968ba30
2 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
compiler/rustc_trait_selection/src/traits/error_reporting/suggestions.rs
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)),

2
tests/ui/privacy/sealed-traits/sealed-trait-local.stderr
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