OpenE2K/rust
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

review comment

Browse Source
This commit is contained in:
Esteban Küber 2020-11-18 09:03:51 -08:00
parent 352796402f
commit c12e77badd
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
compiler/rustc_trait_selection/src/traits/error_reporting/suggestions.rs
View File

@ -2070,7 +2070,6 @@ impl<'a, 'tcx> InferCtxtExt<'tcx> for InferCtxt<'a, 'tcx> {
let mut parent_predicate = parent_trait_ref.without_const().to_predicate(tcx); let mut parent_predicate = parent_trait_ref.without_const().to_predicate(tcx);
let mut data = data; let mut data = data;
let mut redundant = false;
let mut count = 0; let mut count = 0;
seen_requirements.insert(parent_def_id); seen_requirements.insert(parent_def_id);
while let ObligationCauseCode::ImplDerivedObligation(child) = &*data.parent_code { while let ObligationCauseCode::ImplDerivedObligation(child) = &*data.parent_code {
@ -2081,12 +2080,11 @@ impl<'a, 'tcx> InferCtxtExt<'tcx> for InferCtxt<'a, 'tcx> {
break; break;
} }
count += 1; count += 1;
redundant = true;
data = child; data = child;
parent_predicate = child_trait_ref.without_const().to_predicate(tcx); parent_predicate = child_trait_ref.without_const().to_predicate(tcx);
parent_trait_ref = child_trait_ref; parent_trait_ref = child_trait_ref;
} }
if redundant { if count > 0 {
err.note(&format!("{} redundant requirements hidden", count)); err.note(&format!("{} redundant requirements hidden", count));
err.note(&format!( err.note(&format!(
"required because of the requirements on the impl of `{}` for `{}`", "required because of the requirements on the impl of `{}` for `{}`",