Auto merge of #139256 - zetanumbers:ensure_ok_predicates_of, r=<try>

Try use `tcx.ensure_ok` for some predicates_of queries.

Author: bors

compiler/rustc_hir_analysis/src/collect.rs

@@ -726,14 +726,14 @@ fn lower_item(tcx: TyCtxt<'_>, item_id: hir::ItemId) {
         hir::ItemKind::Trait(..) => {
             tcx.ensure_ok().generics_of(def_id);
             tcx.ensure_ok().trait_def(def_id);
-            tcx.at(it.span).explicit_super_predicates_of(def_id);
+            tcx.ensure_ok().explicit_super_predicates_of(def_id);
             tcx.ensure_ok().predicates_of(def_id);
             tcx.ensure_ok().associated_items(def_id);
         }
         hir::ItemKind::TraitAlias(..) => {
             tcx.ensure_ok().generics_of(def_id);
-            tcx.at(it.span).explicit_implied_predicates_of(def_id);
-            tcx.at(it.span).explicit_super_predicates_of(def_id);
+            tcx.ensure_ok().explicit_implied_predicates_of(def_id);
+            tcx.ensure_ok().explicit_super_predicates_of(def_id);
             tcx.ensure_ok().predicates_of(def_id);
         }
         hir::ItemKind::Struct(_, struct_def, _) | hir::ItemKind::Union(_, struct_def, _) => {

compiler/rustc_hir_analysis/src/collect/predicates_of.rs

@@ -645,7 +645,7 @@ pub(super) fn implied_predicates_with_filter<'tcx>(
                 if let ty::ClauseKind::Trait(bound) = pred.kind().skip_binder()
                     && bound.polarity == ty::PredicatePolarity::Positive
                 {
-                    tcx.at(span).explicit_super_predicates_of(bound.def_id());
+                    tcx.ensure_ok().explicit_super_predicates_of(bound.def_id());
                 }
             }
         }
@@ -655,7 +655,7 @@ pub(super) fn implied_predicates_with_filter<'tcx>(
                 if let ty::ClauseKind::Trait(bound) = pred.kind().skip_binder()
                     && bound.polarity == ty::PredicatePolarity::Positive
                 {
-                    tcx.at(span).explicit_implied_predicates_of(bound.def_id());
+                    tcx.ensure_ok().explicit_implied_predicates_of(bound.def_id());
                 }
             }
         }