fn report_trait_method_mismatch<'tcx>(
    tcx: TyCtxt<'tcx>,
    cause: &mut ObligationCause<'tcx>,
    infcx: &InferCtxt<'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