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