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

Required Methods§

source

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

Implementors§

source§

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