{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"TermKind::Const(c)"}]}
                TermKind::Const(c) => s.push_str(&encode_const(
                TermKind::Ty(ty) => s.push_str(&encode_ty(tcx, ty, dict, options)),
                    tcx,