Function rustc_hir_analysis::check::compare_impl_item::extract_bad_args_for_implies_lint

fn extract_bad_args_for_implies_lint<'tcx>(
    tcx: TyCtxt<'tcx>,
    errors: &[RegionResolutionError<'tcx>],
    (trait_m, trait_sig): (AssocItem, FnSig<'tcx>),
    (impl_m, impl_sig): (AssocItem, FnSig<'tcx>),
    hir_id: HirId
) -> Vec<(Span, Option<String>)>