fn extract_spans_for_error_reporting<'tcx>(
    infcx: &InferCtxt<'tcx>,
    terr: TypeError<'_>,
    cause: &ObligationCause<'tcx>,
    impl_m: AssocItem,
    trait_m: AssocItem
) -> (Span, Option<Span>)