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