diff options
| author | Michael Goulet <michael@errs.io> | 2023-02-08 02:46:22 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2023-02-09 17:16:47 +0000 |
| commit | 8c67ecd1245daef98a2667bd1672fe47ff16927a (patch) | |
| tree | d869246f9202a8316e04a1b3195ab1f91db9c4a3 /compiler/rustc_trait_selection/src | |
| parent | 8dadd54f52c44f829ba95d0f483ee155b1f2e19b (diff) | |
| download | rust-8c67ecd1245daef98a2667bd1672fe47ff16927a.tar.gz rust-8c67ecd1245daef98a2667bd1672fe47ff16927a.zip | |
Use elaborated item bounds for alias types
Diffstat (limited to 'compiler/rustc_trait_selection/src')
| -rw-r--r-- | compiler/rustc_trait_selection/src/solve/assembly.rs | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/compiler/rustc_trait_selection/src/solve/assembly.rs b/compiler/rustc_trait_selection/src/solve/assembly.rs index 8525b96c0c2..f94a47c847e 100644 --- a/compiler/rustc_trait_selection/src/solve/assembly.rs +++ b/compiler/rustc_trait_selection/src/solve/assembly.rs @@ -399,10 +399,7 @@ impl<'tcx> EvalCtxt<'_, 'tcx> { ty::Alias(_, alias_ty) => alias_ty, }; - for (assumption, _) in self - .tcx() - .bound_explicit_item_bounds(alias_ty.def_id) - .subst_iter_copied(self.tcx(), alias_ty.substs) + for assumption in self.tcx().item_bounds(alias_ty.def_id).subst(self.tcx(), alias_ty.substs) { match G::consider_assumption(self, goal, assumption) { Ok(result) => { |