fn emit_implied_wf_lint<'tcx>(
    tcx: TyCtxt<'tcx>,
    impl_m: AssocItem,
    hir_id: HirId,
    bad_args: Vec<(Span, Option<String>)>
)