diff options
| author | Kyle Matsuda <kyle.yoshio.matsuda@gmail.com> | 2023-04-20 12:33:32 -0600 |
|---|---|---|
| committer | Kyle Matsuda <kyle.yoshio.matsuda@gmail.com> | 2023-04-21 09:57:37 -0600 |
| commit | 5a69b5d0f9753a7e780849ec930b1bb48653588b (patch) | |
| tree | f281b832750475228585796d21a8be0f50bda2f6 /compiler/rustc_middle/src | |
| parent | e54854f6a93f4121ac55d895830414d33bd3aa8e (diff) | |
| download | rust-5a69b5d0f9753a7e780849ec930b1bb48653588b.tar.gz rust-5a69b5d0f9753a7e780849ec930b1bb48653588b.zip | |
Changes from review
Diffstat (limited to 'compiler/rustc_middle/src')
| -rw-r--r-- | compiler/rustc_middle/src/ty/context.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_middle/src/ty/context.rs b/compiler/rustc_middle/src/ty/context.rs index a5e98fe6224..7ac87cc80fd 100644 --- a/compiler/rustc_middle/src/ty/context.rs +++ b/compiler/rustc_middle/src/ty/context.rs @@ -1611,7 +1611,7 @@ impl<'tcx> TyCtxt<'tcx> { let ty::Alias(ty::Opaque, ty::AliasTy { def_id, .. }) = ty.kind() else { return false }; let future_trait = self.require_lang_item(LangItem::Future, None); - self.explicit_item_bounds(def_id).subst_identity_iter_copied().any(|(predicate, _)| { + self.explicit_item_bounds(def_id).skip_binder().iter().any(|&(predicate, _)| { let ty::PredicateKind::Clause(ty::Clause::Trait(trait_predicate)) = predicate.kind().skip_binder() else { return false; }; |