bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Reword "Required because of the requirements on the impl of ..."

Browse source
This commit is contained in:
Andy Wang 2022-08-15 21:31:37 +01:00
parent 8064a49508
commit 84a199369b
No known key found for this signature in database
GPG key ID: 181B49F9F38F3374
159 changed files with 279 additions and 279 deletions
Download patch file Download diff file Expand all files Collapse all files

12
compiler/rustc_trait_selection/src/traits/error_reporting/suggestions.rs
View file

@ -2537,9 +2537,9 @@ impl<'a, 'tcx> InferCtxtExt<'tcx> for InferCtxt<'a, 'tcx> {
parent_trait_pred.remap_constness_diag(param_env);
let parent_def_id = parent_trait_pred.def_id();
let msg = format!(
"required because of the requirements on the impl of `{}` for `{}`",
parent_trait_pred.print_modifiers_and_trait_path(),
parent_trait_pred.skip_binder().self_ty()
"required for `{}` to implement `{}`",
parent_trait_pred.skip_binder().self_ty(),
parent_trait_pred.print_modifiers_and_trait_path()
);
let mut is_auto_trait = false;
match self.tcx.hir().get_if_local(data.impl_def_id) {
@ -2608,9 +2608,9 @@ impl<'a, 'tcx> InferCtxtExt<'tcx> for InferCtxt<'a, 'tcx> {
pluralize!(count)
));
err.note(&format!(
"required because of the requirements on the impl of `{}` for `{}`",
parent_trait_pred.print_modifiers_and_trait_path(),
parent_trait_pred.skip_binder().self_ty()
"required for `{}` to implement `{}`",
parent_trait_pred.skip_binder().self_ty(),
parent_trait_pred.print_modifiers_and_trait_path()
));
}
// #74711: avoid a stack overflow