{"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"self.word(\"box"}]}
                self.word("box ");
            PatKind::Box(inner) => {
                self.print_pat(inner);