fn compare_self_type<'tcx>( tcx: TyCtxt<'tcx>, impl_m: AssocItem, trait_m: AssocItem, impl_trait_ref: TraitRef<'tcx>, delay: bool, ) -> Result<(), ErrorGuaranteed>