Skip to main content

Module implied_outlives_bounds

Module implied_outlives_bounds 

Source
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 ๐Ÿ”’