fix(frontend): use predicates_defined_on instead of predicate_of

hacspec · Nov 2, 2023 · 2f367b8 · 2f367b8
1 parent 2ee26c3
commit 2f367b8
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/frontend/exporter/src/rustc_utils.rs b/frontend/exporter/src/rustc_utils.rs
@@ -35,7 +35,7 @@ impl<'tcx> ty::TyCtxt<'tcx> {
         let mut next_did = Some(did);
         let mut predicates = vec![];
         while let Some(did) = next_did {
-            let gen_preds = self.predicates_of(did);
+            let gen_preds = self.predicates_defined_on(did);
             next_did = gen_preds.parent;
             predicates.extend(gen_preds.predicates.into_iter())
         }

diff --git a/frontend/exporter/src/state.rs b/frontend/exporter/src/state.rs
@@ -235,7 +235,7 @@ impl ImplInfos {
         let s = &with_owner_id(base, (), (), did);
 
         let predicates = tcx
-            .predicates_of(did)
+            .predicates_defined_on(did)
             .predicates
             .iter()
             .map(|(x, _)| x.sinto(s))

diff --git a/frontend/exporter/src/types/copied.rs b/frontend/exporter/src/types/copied.rs
@@ -2975,7 +2975,7 @@ fn region_bounds_at_current_owner<'tcx, S: UnderOwnerState<'tcx>>(s: &S) -> Gene
     let tcx = s.base().tcx;
 
     // According to what kind of node we are looking at, we should
-    // either call `predicates_of` or `item_bounds`
+    // either call `predicates_defined_on` or `item_bounds`
     let use_item_bounds = {
         if let Some(oid) = s.owner_id().as_local() {
             let hir_id = tcx.hir().local_def_id_to_hir_id(oid);
@@ -3001,7 +3001,7 @@ fn region_bounds_at_current_owner<'tcx, S: UnderOwnerState<'tcx>>(s: &S) -> Gene
         let span = list.default_span(tcx);
         list.into_iter().map(|x| (x, span)).collect()
     } else {
-        tcx.predicates_of(s.owner_id())
+        tcx.predicates_defined_on(s.owner_id())
             .predicates
             .into_iter()
             .cloned()