erase_regions -> erase_and_normalize_regions

Author: nilehmann

crates/flux-infer/src/projections.rs

@@ -368,7 +368,7 @@ impl<'a, 'infcx, 'genv, 'tcx> Normalizer<'a, 'infcx, 'genv, 'tcx> {
         candidates: &mut Vec<Candidate>,
     ) -> QueryResult {
         let trait_ref = obligation.to_rustc(self.tcx()).trait_ref(self.tcx());
-        let trait_ref = self.tcx().erase_regions(trait_ref);
+        let trait_ref = self.tcx().erase_and_anonymize_regions(trait_ref);
         let trait_pred = Obligation::new(
             self.tcx(),
             ObligationCause::dummy(),
@@ -727,7 +727,7 @@ fn normalize_projection_ty_with_rustc<'tcx>(
 ) -> QueryResult<(bool, SubsetTyCtor)> {
     let tcx = genv.tcx();
     let projection_ty = obligation.to_rustc(tcx);
-    let projection_ty = tcx.erase_regions(projection_ty);
+    let projection_ty = tcx.erase_and_anonymize_regions(projection_ty);
     let cause = ObligationCause::dummy();
     let param_env = tcx.param_env(def_id);
 
@@ -813,7 +813,7 @@ fn get_impl_data_for_alias_reft<'tcx>(
     let tcx = infcx.tcx;
     let mut selcx = SelectionContext::new(infcx);
     let trait_ref = alias_reft.to_rustc_trait_ref(tcx);
-    let trait_ref = tcx.erase_regions(trait_ref);
+    let trait_ref = tcx.erase_and_anonymize_regions(trait_ref);
     let trait_pred =
         Obligation::new(tcx, ObligationCause::dummy(), tcx.param_env(def_id), trait_ref);
     match selcx.select(&trait_pred) {

crates/flux-rustc-bridge/src/lowering.rs

@@ -92,7 +92,7 @@ fn trait_ref_impl_id<'tcx>(
     param_env: ParamEnv<'tcx>,
     trait_ref: rustc_ty::TraitRef<'tcx>,
 ) -> Option<(DefId, rustc_middle::ty::GenericArgsRef<'tcx>)> {
-    let trait_ref = tcx.erase_regions(trait_ref);
+    let trait_ref = tcx.erase_and_anonymize_regions(trait_ref);
     let obligation = Obligation::new(tcx, ObligationCause::dummy(), param_env, trait_ref);
     let impl_source = selcx.select(&obligation).ok()??;
     let impl_source = selcx.infcx.resolve_vars_if_possible(impl_source);