Trait rustc_trait_selection::traits::NormalizeExt

pub trait NormalizeExt<'tcx> {
    // Required method
    fn normalize<T: TypeFoldable<TyCtxt<'tcx>>>(&self, t: T) -> InferOk<'tcx, T>;
}

Required Methods

fn normalize<T: TypeFoldable<TyCtxt<'tcx>>>(&self, t: T) -> InferOk<'tcx, T>

Normalize a value using the AssocTypeNormalizer.

This normalization should be used when the type contains inference variables or the projection may be fallible.

Implementors

impl<'tcx> NormalizeExt<'tcx> for At<'_, 'tcx>