{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"ty::Uint(t)"}]}
                    ty::Uint(t) => Integer::from_uint_ty(self, t).size(),
                    ty::Int(t) => Integer::from_int_ty(self, t).size(),
                    _ => bug!(),