From 850cc34da2ec86ae5b84e48a03d6b451b1dcd4d7 Mon Sep 17 00:00:00 2001 From: Michael Goulet Date: Thu, 7 Mar 2024 01:32:01 +0000 Subject: Don't require specifying unrelated assoc types when trait alias is in dyn type --- compiler/rustc_trait_selection/src/traits/util.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'compiler/rustc_trait_selection/src/traits') diff --git a/compiler/rustc_trait_selection/src/traits/util.rs b/compiler/rustc_trait_selection/src/traits/util.rs index 6e01e0b76aa..3f433a9e919 100644 --- a/compiler/rustc_trait_selection/src/traits/util.rs +++ b/compiler/rustc_trait_selection/src/traits/util.rs @@ -127,7 +127,7 @@ impl<'tcx> TraitAliasExpander<'tcx> { } // Get components of trait alias. - let predicates = tcx.implied_predicates_of(trait_ref.def_id()); + let predicates = tcx.super_predicates_of(trait_ref.def_id()); debug!(?predicates); let items = predicates.predicates.iter().rev().filter_map(|(pred, span)| { -- cgit 1.4.1-3-g733a5