diff options
| author | Michael Goulet <michael@errs.io> | 2023-02-02 18:50:25 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2023-04-11 17:40:54 +0000 |
| commit | 3dab259cb9f9ccdce2e86e45dad565f5e2123428 (patch) | |
| tree | b8a8b96ab305d977d6b542745d86171a2dd033d4 /compiler/rustc_infer/src/traits/util.rs | |
| parent | 45749b21b7fd836f6c4f11dd40376f7c83e2791b (diff) | |
| download | rust-3dab259cb9f9ccdce2e86e45dad565f5e2123428.tar.gz rust-3dab259cb9f9ccdce2e86e45dad565f5e2123428.zip | |
Split super_predicates_that_define_assoc_type query from super_predicates_of
Diffstat (limited to 'compiler/rustc_infer/src/traits/util.rs')
| -rw-r--r-- | compiler/rustc_infer/src/traits/util.rs | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/compiler/rustc_infer/src/traits/util.rs b/compiler/rustc_infer/src/traits/util.rs index c7f7ed14940..5ea41177c88 100644 --- a/compiler/rustc_infer/src/traits/util.rs +++ b/compiler/rustc_infer/src/traits/util.rs @@ -381,10 +381,8 @@ pub fn transitive_bounds_that_define_assoc_type<'tcx>( while let Some(trait_ref) = stack.pop() { let anon_trait_ref = tcx.anonymize_bound_vars(trait_ref); if visited.insert(anon_trait_ref) { - let super_predicates = tcx.super_predicates_that_define_assoc_type(( - trait_ref.def_id(), - Some(assoc_name), - )); + let super_predicates = + tcx.super_predicates_that_define_assoc_type((trait_ref.def_id(), assoc_name)); for (super_predicate, _) in super_predicates.predicates { let subst_predicate = super_predicate.subst_supertrait(tcx, &trait_ref); if let Some(binder) = subst_predicate.to_opt_poly_trait_pred() { |