{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"})"}]}
                    })
                        self.lower_pat(&pat.pattern).at_index(idx as usize)
                    .collect();