Module implied_bounds

Re-exports§

use rustc_hir::def::DefKind; 🔒
use rustc_hir::def_id::LocalDefId; 🔒
use rustc_infer::infer::TyCtxtInferExt; 🔒
use rustc_infer::traits::ObligationCause; 🔒
use rustc_infer::traits::query::MirBorrowckImpliedOutlivesBounds; 🔒
use rustc_middle::infer::canonical::Canonical; 🔒
use rustc_middle::infer::canonical::QueryResponse; 🔒
use rustc_middle::ty; 🔒
use rustc_middle::ty::CanonicalVarValues; 🔒
use rustc_middle::ty::GenericArg; 🔒
use rustc_middle::ty::Ty; 🔒
use rustc_middle::ty::TyCtxt; 🔒
use rustc_middle::ty::TypeVisitableExt; 🔒
use rustc_middle::ty::TypingEnv; 🔒
use rustc_middle::ty::fold_regions; 🔒
use rustc_span::DUMMY_SP; 🔒
use rustc_trait_selection::solve::NoSolution; 🔒
use rustc_trait_selection::traits::ObligationCtxt; 🔒
use rustc_trait_selection::traits::implied_outlives_bounds::compute_implied_outlives_bounds_inner; 🔒
use rustc_trait_selection::traits::implied_outlives_bounds::consider_implied_bounds_hack_for_ty; 🔒
use smallvec::SmallVec; 🔒
use tracing::instrument; 🔒
use tracing::instrument; 🔒
use crate::universal_regions::DefiningTy; 🔒

implied_bounds_query_var_values 🔒: This computes the var_values used by the mir_borrowck_implied_outlives_bounds query. The old solver canonicalization does not replace early and late bound parameters, so the only var_values we need are external regions from the signature of the nested body as we don’t have a shared representation between this query and MIR borrowck.
mir_borrowck_implied_outlives_bounds 🔒: Computes the implied bounds for body_def_id. This is a separate query as it must not reveal the hidden type of opaques defined by body_def_id for typeck roots.
replace_erased_regions_with_placeholders 🔒: This replaces all external regions in the signature of the current item with a unique placeholder to collect its implied bounds. This mirrors the way MIR borrowck replaces all of them with unique NLL vars.