{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"attrs::IntType::UnsignedInt(t),"}]}
                attrs::IntType::UnsignedInt(t),
                span,
                Integer::from_uint_ty(cx, t).size(),