{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"ty::Int(t)"}]}
        ty::Int(t) => Integer::from_int_ty(&tcx, t).size(),
    let size = match *cast_ty.kind() {
        ty::Uint(t) => Integer::from_uint_ty(&tcx, t).size(),