{"ast_node_type":"other","tokens":[{"end":18,"kind":"keyword","start":0,"text":"))"}]}
                ))
                    variants.iter().map(|pat| self.lower_ty_pat_mut(pat, base_type)),
            }