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

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

Required methods

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

Implementors

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