]> git.lizzy.rs Git - rust.git/blobdiff - compiler/rustc_traits/src/normalize_erasing_regions.rs
Auto merge of #105717 - compiler-errors:anonymize, r=jackh726
[rust.git] / compiler / rustc_traits / src / normalize_erasing_regions.rs
index bd22d113b4092dc54ad1345b267b4c128f40b573..44fd8bfb31f231ab058a1b3a0a5ff120bf2e8564 100644 (file)
@@ -2,7 +2,7 @@
 use rustc_middle::traits::query::NoSolution;
 use rustc_middle::ty::query::Providers;
 use rustc_middle::ty::{self, ParamEnvAnd, TyCtxt, TypeFoldable};
-use rustc_trait_selection::traits::query::normalize::AtExt;
+use rustc_trait_selection::traits::query::normalize::QueryNormalizeExt;
 use rustc_trait_selection::traits::{Normalized, ObligationCause};
 use std::sync::atomic::Ordering;
 
@@ -29,7 +29,7 @@ fn try_normalize_after_erasing_regions<'tcx, T: TypeFoldable<'tcx> + PartialEq +
     let ParamEnvAnd { param_env, value } = goal;
     let infcx = tcx.infer_ctxt().build();
     let cause = ObligationCause::dummy();
-    match infcx.at(&cause, param_env).normalize(value) {
+    match infcx.at(&cause, param_env).query_normalize(value) {
         Ok(Normalized { value: normalized_value, obligations: normalized_obligations }) => {
             // We don't care about the `obligations`; they are
             // always only region relations, and we are about to