{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"Term::Const(c)"}]}
                    Term::Const(c) => self.print_expr_anon_const(c, &[]),
                    Term::Ty(ty) => self.print_type(ty),
                }