diff options
| author | Matthew Jasper <mjjasper1@gmail.com> | 2022-02-11 18:20:47 +0000 |
|---|---|---|
| committer | Matthew Jasper <mjjasper1@gmail.com> | 2022-02-12 13:39:52 +0000 |
| commit | 030c50824c670da9fecd3ccdaec4d75d3dab1268 (patch) | |
| tree | cb16e364012738ae2c0a3eda0006606601ec88dd /compiler/rustc_trait_selection/src | |
| parent | f718b516900105ccfce2b32c915b3c3b1a136a1c (diff) | |
Address review comment
canonicalize_chalk_query -> canonicalize_query_preserving_universes
Diffstat (limited to 'compiler/rustc_trait_selection/src')
| -rw-r--r-- | compiler/rustc_trait_selection/src/traits/chalk_fulfill.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/rustc_trait_selection/src/traits/chalk_fulfill.rs b/compiler/rustc_trait_selection/src/traits/chalk_fulfill.rs index 28b0ce9a171..93c2f202545 100644 --- a/compiler/rustc_trait_selection/src/traits/chalk_fulfill.rs +++ b/compiler/rustc_trait_selection/src/traits/chalk_fulfill.rs @@ -95,7 +95,8 @@ impl<'tcx> TraitEngine<'tcx> for FulfillmentContext<'tcx> { continue; } - let canonical_goal = infcx.canonicalize_chalk_query(goal, &mut orig_values); + let canonical_goal = + infcx.canonicalize_query_preserving_universes(goal, &mut orig_values); match infcx.tcx.evaluate_goal(canonical_goal) { Ok(response) => { |