fn ty_search_pat(ty: &Ty<'_>) -> (Pat, Pat)