{"ast_node_type":"other","tokens":[{"end":16,"kind":"keyword","start":0,"text":"tcx,"}]}
            tcx,
        ty::Const::new_value(
            ty::ValTree::from_scalar_int(tcx, ScalarInt::try_from_uint(bits, size).unwrap()),