Trait rustc_trait_selection::traits::structural_normalize::StructurallyNormalizeExt

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

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

Implementors

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