{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"def:"}]}
                    def: tables.const_def(unev_const.def),
                let kind = crate::ty::ConstantKind::Unevaluated(crate::ty::UnevaluatedConst {
                    args: unev_const.args.stable(tables, cx),