Module normalize_erasing_regions 

Re-exports

use rustc_infer::infer::TyCtxtInferExt; 🔒

use rustc_middle::query::Providers; 🔒

use rustc_middle::traits::query::NoSolution; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::PseudoCanonicalInput; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_middle::ty::TypeFoldable; 🔒

use rustc_middle::ty::TypeVisitableExt; 🔒

use rustc_trait_selection::traits::query::normalize::QueryNormalizeExt; 🔒

use rustc_trait_selection::traits::Normalized; 🔒

use rustc_trait_selection::traits::ObligationCause; 🔒

use tracing::debug; 🔒

Functions

not_outlives_predicate 🔒

provide 🔒

try_normalize_after_erasing_regions 🔒