only trigger in leaf crate

Author: adwinwhite

Cargo.lock

@@ -4755,6 +4755,7 @@ dependencies = [
  "rustc_errors",
  "rustc_hir",
  "rustc_infer",
+ "rustc_lint_defs",
  "rustc_macros",
  "rustc_middle",
  "rustc_next_trait_solver",

compiler/rustc_hir_analysis/src/collect/predicates_of.rs

@@ -6,6 +6,7 @@ use rustc_hir as hir;
 use rustc_hir::def::DefKind;
 use rustc_hir::def_id::{DefId, LocalDefId};
 use rustc_hir::find_attr;
+use rustc_lint_defs;
 use rustc_middle::ty::{
     self, Binder, Clause, GenericArgKind, GenericArgs, GenericPredicates, ImplTraitInTraitData, Ty,
     TyCtxt, TypeFoldable, TypeSuperFoldable, TypeVisitable, TypeVisitor, Upcast, UpcastFrom,
@@ -31,7 +32,10 @@ pub(super) fn predicates_of(tcx: TyCtxt<'_>, def_id: DefId) -> ty::GenericPredic
     let mut result = tcx.explicit_predicates_of(def_id);
     debug!("predicates_of: explicit_predicates_of({:?}) = {:?}", def_id, result);
 
-    if tcx.sess.opts.unstable_opts.strict_projection_item_bounds {
+    // Check lint cap level to avoid triggering this flag on deps.
+    if tcx.sess.opts.lint_cap != Some(rustc_lint_defs::Level::Allow)
+        && tcx.sess.opts.unstable_opts.strict_projection_item_bounds
+    {
         let implied_item_bounds = elaborate_projection_predicates(tcx, result.predicates.to_vec());
         result.predicates = tcx
             .arena

compiler/rustc_trait_selection/Cargo.toml

@@ -12,6 +12,7 @@ rustc_data_structures = { path = "../rustc_data_structures" }
 rustc_errors = { path = "../rustc_errors" }
 rustc_hir = { path = "../rustc_hir" }
 rustc_infer = { path = "../rustc_infer" }
+rustc_lint_defs = { path = "../rustc_lint_defs" }
 rustc_macros = { path = "../rustc_macros" }
 rustc_middle = { path = "../rustc_middle" }
 rustc_next_trait_solver = { path = "../rustc_next_trait_solver" }

compiler/rustc_trait_selection/src/traits/wf.rs

@@ -9,6 +9,7 @@ use rustc_hir as hir;
 use rustc_hir::def::DefKind;
 use rustc_hir::lang_items::LangItem;
 use rustc_infer::traits::{ObligationCauseCode, PredicateObligations};
+use rustc_lint_defs;
 use rustc_middle::bug;
 use rustc_middle::ty::{
     self, GenericArgsRef, Term, TermKind, Ty, TyCtxt, TypeSuperVisitable, TypeVisitable,
@@ -467,7 +468,10 @@ impl<'a, 'tcx> WfPredicates<'a, 'tcx> {
                 _ => false,
             }
         }
-        if tcx.sess.opts.unstable_opts.strict_projection_item_bounds {
+        // Check lint cap level to avoid triggering this flag on deps.
+        if tcx.sess.opts.lint_cap != Some(rustc_lint_defs::Level::Allow)
+            && tcx.sess.opts.unstable_opts.strict_projection_item_bounds
+        {
             // Add item bounds to the predicate term.
             // If the term is generic, we can skip these item bounds as they're implied by
             // `elaborate_projection_predicates`.