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