Expand description
Provider for the implied_outlives_bounds query.
Do not call this query directly. See
rustc_trait_selection::traits::implied_outlives_bounds.
Re-exportsยง
use rustc_infer::infer::TyCtxtInferExt;๐use rustc_infer::infer::canonical;๐use rustc_infer::infer::canonical::Canonical;๐use rustc_infer::traits::query::OutlivesBound;๐use rustc_infer::traits::query::type_op::ImpliedOutlivesBounds;๐use rustc_middle::query::Providers;๐use rustc_middle::ty::ParamEnvAnd;๐use rustc_middle::ty::TyCtxt;๐use rustc_trait_selection::infer::InferCtxtBuilderExt;๐use rustc_trait_selection::traits::implied_outlives_bounds::query_compute_implied_outlives_bounds;๐use rustc_trait_selection::traits::query::CanonicalImpliedOutlivesBoundsGoal;๐use rustc_trait_selection::traits::query::NoSolution;๐
Functionsยง
- implied_
outlives_ ๐bounds - provide ๐