Trait StructurallyNormalizeExt

pub trait StructurallyNormalizeExt<'tcx> {
    // Required methods
    fn structurally_normalize<E: 'tcx>(
        &self,
        ty: Ty<'tcx>,
        fulfill_cx: &mut dyn TraitEngine<'tcx, E>,
    ) -> Result<Ty<'tcx>, Vec<E>>;
    fn structurally_normalize_const<E: 'tcx>(
        &self,
        ct: Const<'tcx>,
        fulfill_cx: &mut dyn TraitEngine<'tcx, E>,
    ) -> Result<Const<'tcx>, Vec<E>>;
}

Required Methods

fn structurally_normalize<E: 'tcx>( &self, ty: Ty<'tcx>, fulfill_cx: &mut dyn TraitEngine<'tcx, E>, ) -> Result<Ty<'tcx>, Vec<E>>

fn structurally_normalize_const<E: 'tcx>( &self, ct: Const<'tcx>, fulfill_cx: &mut dyn TraitEngine<'tcx, E>, ) -> Result<Const<'tcx>, Vec<E>>

Object Safety

This trait is not object safe.

Implementors

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