diff options
| author | Michael Goulet <michael@errs.io> | 2024-07-06 12:21:00 -0400 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2024-07-07 11:28:01 -0400 |
| commit | 90423a7abbddd98b6fbb22e9780991c736b51ca4 (patch) | |
| tree | ba3f3def980d7945f75b3b1192099a6b7fa49b03 /compiler/rustc_next_trait_solver | |
| parent | 58aad3c72c32936b49f92f552e0157b9c8c862ee (diff) | |
| download | rust-90423a7abbddd98b6fbb22e9780991c736b51ca4.tar.gz rust-90423a7abbddd98b6fbb22e9780991c736b51ca4.zip | |
Uplift elaboration
Diffstat (limited to 'compiler/rustc_next_trait_solver')
| -rw-r--r-- | compiler/rustc_next_trait_solver/src/solve/assembly/structural_traits.rs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/compiler/rustc_next_trait_solver/src/solve/assembly/structural_traits.rs b/compiler/rustc_next_trait_solver/src/solve/assembly/structural_traits.rs index 3447b39fa5b..7df14e81ab5 100644 --- a/compiler/rustc_next_trait_solver/src/solve/assembly/structural_traits.rs +++ b/compiler/rustc_next_trait_solver/src/solve/assembly/structural_traits.rs @@ -669,7 +669,9 @@ where let cx = ecx.cx(); let mut requirements = vec![]; requirements.extend( - cx.explicit_super_predicates_of(trait_ref.def_id).iter_instantiated(cx, trait_ref.args), + cx.explicit_super_predicates_of(trait_ref.def_id) + .iter_instantiated(cx, trait_ref.args) + .map(|(pred, _)| pred), ); // FIXME(associated_const_equality): Also add associated consts to |