Trait rustc_trait_selection::traits::query::normalize::QueryNormalizeExt

pub trait QueryNormalizeExt<'tcx> {
    fn query_normalize<T>(
        &self,
        value: T
    ) -> Result<Normalized<'tcx, T>, NoSolution>
    where
        T: TypeFoldable<'tcx>;
}

Required Methods

fn query_normalize<T>(&self, value: T) -> Result<Normalized<'tcx, T>, NoSolution>where
    T: TypeFoldable<'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.

Implementors

impl<'cx, 'tcx> QueryNormalizeExt<'tcx> for At<'cx, 'tcx>