diff options
| author | Michael Goulet <michael@errs.io> | 2024-03-20 12:52:48 -0400 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2024-03-20 13:00:34 -0400 |
| commit | aa39dbb962fc1410613458e88269fe0b760ad7f8 (patch) | |
| tree | 0c5db226029fd98cf8f4a3a50e288164758d1c75 /compiler/rustc_middle/src/ty | |
| parent | a128516cf9de352ae1f9d430ed730363c7ca3c0c (diff) | |
| download | rust-aa39dbb962fc1410613458e88269fe0b760ad7f8.tar.gz rust-aa39dbb962fc1410613458e88269fe0b760ad7f8.zip | |
Split item bounds and item super predicates
Diffstat (limited to 'compiler/rustc_middle/src/ty')
| -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 5de2e2fb1e7..8a87538e788 100644 --- a/compiler/rustc_middle/src/ty/context.rs +++ b/compiler/rustc_middle/src/ty/context.rs @@ -1828,7 +1828,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).skip_binder().iter().any(|&(predicate, _)| { + self.explicit_item_super_predicates(def_id).skip_binder().iter().any(|&(predicate, _)| { let ty::ClauseKind::Trait(trait_predicate) = predicate.kind().skip_binder() else { return false; }; |