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