{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"tables.const_def(uv.def),"}]}
                tables.const_def(uv.def),
            ty::ConstKind::Unevaluated(uv) => crate::ty::TyConstKind::Unevaluated(
                uv.args.stable(tables, cx),