Rollup merge of #88871 - FabianWolff:issue-88403, r=jackh726

[rust.git] / compiler / rustc_infer / src / traits / util.rs

diff --git a/compiler/rustc_infer/src/traits/util.rs b/compiler/rustc_infer/src/traits/util.rs
index 3a25cb66896d510c751911d94efaba2d1ff6cb91..30d5613d5820d8664817bab71e3ed0d836ada1f1 100644 (file)
--- a/compiler/rustc_infer/src/traits/util.rs
+++ b/compiler/rustc_infer/src/traits/util.rs
@@ -231,6 +231,7 @@ fn elaborate(&mut self, obligation: &PredicateObligation<'tcx>) {
                                 None
                             }
                         })
+                        .map(ty::Binder::dummy)
                         .map(|predicate_kind| predicate_kind.to_predicate(tcx))
                         .filter(|&predicate| visited.insert(predicate))
                         .map(|predicate| {