{"ast_node_type":"other","tokens":[{"end":92,"kind":"keyword","start":0,"text":"const_:"}]}
            const_: Const::from_scalar(tcx, Scalar::from_uint(value, discr_size), discr_ty),
            user_ty: None,
        }));