{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"Node::Pat(a)"}]}
            Node::Pat(a) => self.print_pat(a),
            Node::OpaqueTy(_) => panic!("cannot print Node::OpaqueTy"),
            Node::TyPat(a) => self.print_ty_pat(a),