{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"p.pretty_print_const_valtree(*cv,"}]}
                p.pretty_print_const_valtree(*cv, /*print_ty*/ true).unwrap();
                let mut p = FmtPrinter::new(self.tcx, Namespace::ValueNS);
                p.into_buffer()