fn report_trait_method_mismatch<'tcx>(
    infcx: &InferCtxt<'tcx>,
    cause: ObligationCause<'tcx>,
    terr: TypeError<'tcx>,
    (trait_m, trait_fty): (&AssocItem, Ty<'tcx>),
    (impl_m, impl_fty): (&AssocItem, Ty<'tcx>),
    trait_sig: FnSig<'tcx>,
    impl_trait_ref: TraitRef<'tcx>
) -> ErrorGuaranteed