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>