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