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