fn variant_search_pat(v: &Variant<'_>) -> (Pat, Pat)