Trait NormalizeExt 

pub trait NormalizeExt: TypeFoldable {
    // Required methods
    fn deeply_normalize(
        &self,
        infcx: &mut InferCtxtAt<'_, '_, '_, '_>,
    ) -> QueryResult<Self>;
    fn deeply_normalize_sorts<'tcx>(
        &self,
        def_id: DefId,
        genv: GlobalEnv<'_, 'tcx>,
        infcx: &InferCtxt<'tcx>,
    ) -> QueryResult<Self>;
}

Required Methods

fn deeply_normalize( &self, infcx: &mut InferCtxtAt<'_, '_, '_, '_>, ) -> QueryResult<Self>

fn deeply_normalize_sorts<'tcx>( &self, def_id: DefId, genv: GlobalEnv<'_, 'tcx>, infcx: &InferCtxt<'tcx>, ) -> QueryResult<Self>

Deeply normalize projections but only inside sorts

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<T: TypeFoldable> NormalizeExt for T