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