Trait rustc_trait_selection::traits::query::normalize::QueryNormalizeExt
source · pub trait QueryNormalizeExt<'tcx> {
// Required method
fn query_normalize<T>(
self,
value: T
) -> Result<Normalized<'tcx, T>, NoSolution>
where T: TypeFoldable<TyCtxt<'tcx>>;
}
Required Methods§
sourcefn query_normalize<T>(self, value: T) -> Result<Normalized<'tcx, T>, NoSolution>where
T: TypeFoldable<TyCtxt<'tcx>>,
fn query_normalize<T>(self, value: T) -> Result<Normalized<'tcx, T>, NoSolution>where T: TypeFoldable<TyCtxt<'tcx>>,
Normalize a value using the QueryNormalizer
.
This normalization should only be used when the projection does not have possible ambiguity or may not be well-formed.
After codegen, when lifetimes do not matter, it is preferable to instead
use TyCtxt::normalize_erasing_regions
, which wraps this procedure.