Module normalize_projection_ty

Re-exports§

use rustc_infer::infer::TyCtxtInferExt; 🔒
use rustc_infer::infer::canonical::Canonical; 🔒
use rustc_infer::infer::canonical::QueryResponse; 🔒
use rustc_infer::traits::PredicateObligations; 🔒
use rustc_middle::query::Providers; 🔒
use rustc_middle::ty; 🔒
use rustc_middle::ty::ParamEnvAnd; 🔒
use rustc_middle::ty::TyCtxt; 🔒
use rustc_trait_selection::error_reporting::InferCtxtErrorExt; 🔒
use rustc_trait_selection::infer::InferCtxtBuilderExt; 🔒
use rustc_trait_selection::traits::query::normalize::NormalizationResult; 🔒
use rustc_trait_selection::traits::query::CanonicalAliasGoal; 🔒
use rustc_trait_selection::traits::query::NoSolution; 🔒
use rustc_trait_selection::traits; 🔒
use rustc_trait_selection::traits::ObligationCause; 🔒
use rustc_trait_selection::traits::ScrubbedTraitError; 🔒
use rustc_trait_selection::traits::SelectionContext; 🔒
use tracing::debug; 🔒

const_arg_has_type_obligation 🔒: If normalized_term is a const, returns a ConstArgHasType obligation to verify that the const value’s type matches the alias’s declared type. Returns None if the term is a type rather than a const.
normalize_canonicalized_free_alias 🔒
normalize_canonicalized_inherent_projection 🔒
normalize_canonicalized_projection 🔒
provide 🔒