Trait rustc_trait_selection::traits::query::normalize::AtExt

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

Required methods

pub fn normalize<T>(&self, value: T) -> Result<Normalized<'tcx, T>, NoSolution> where
    T: TypeFoldable<'tcx>, 

Loading content...

Implementors

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

pub fn normalize<T>(&self, value: T) -> Result<Normalized<'tcx, T>, NoSolution> where
    T: TypeFoldable<'tcx>, 

Normalize value in the context of the inference context, yielding a resulting type, or an error if value cannot be normalized. If you don't care about regions, you should prefer normalize_erasing_regions, which is more efficient.

If the normalization succeeds and is unambiguous, returns back the normalized value along with various outlives relations (in the form of obligations that must be discharged).

N.B., this will eventually be the main means of normalizing, but for now should be used only when we actually know that normalization will succeed, since error reporting and other details are still "under development".

Loading content...