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>>>;
}
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>>>;
}