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§

source

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.

Implementors§

source§

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