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