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