{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"after.push(self.lower_pat_mut(pat));"}]}
                after.push(self.lower_pat_mut(pat));
                // Lower the pattern normally.
            }