Module implied_outlives_bounds 

Re-exports

use std::ops::ControlFlow; 🔒

use rustc_infer::infer::TypeOutlivesConstraint; 🔒

use rustc_infer::infer::canonical::CanonicalQueryInput; 🔒

use rustc_infer::infer::canonical::CanonicalQueryResponse; 🔒

use rustc_infer::traits::query::OutlivesBound; 🔒

use rustc_infer::traits::query::type_op::ImpliedOutlivesBounds; 🔒

use rustc_middle::traits::ObligationCause; 🔒

use rustc_middle::ty::outlives::Component; 🔒

use rustc_middle::ty::outlives::push_outlives_components; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::ParamEnvAnd; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_middle::ty::TypeVisitable; 🔒

use rustc_middle::ty::TypeVisitor; 🔒

use rustc_middle::ty::Unnormalized; 🔒

use rustc_span::def_id::CRATE_DEF_ID; 🔒

use rustc_span::DUMMY_SP; 🔒

use rustc_span::Span; 🔒

use rustc_span::sym; 🔒

use smallvec::SmallVec; 🔒

use smallvec::smallvec; 🔒

use crate::infer::InferCtxt; 🔒

use crate::traits::query::NoSolution; 🔒

use crate::traits::query::type_op::QueryTypeOp; 🔒

use crate::traits::ObligationCtxt; 🔒

use crate::traits::wf; 🔒

Structs

ContainsBevyParamSet 🔒

Functions

compute_implied_outlives_bounds_inner

consider_implied_bounds_hack_for_ty

If we’re at a callsite which should apply the bevy implied bounds hack and -Zno-implied-bounds-compat has not been set, then use the registered outlives obligations as implied bounds if we detect bevy_ecs::*::ParamSet in the arg.

implied_bounds_from_components 🔒

When we have an implied bound that T: 'a, we can further break this down to determine what relationships would have to hold for T: 'a to hold. We get to assume that the caller has validated those relationships.

query_compute_implied_outlives_bounds