fn fn_kind_pat(
    tcx: TyCtxt<'_>,
    kind: &FnKind<'_>,
    body: &Body<'_>,
    hir_id: HirId
) -> (Pat, Pat)