From 93915f287029c8857dbeab664f1062975296142c Mon Sep 17 00:00:00 2001
From: Julien Viet <julien@julienviet.com>
Date: Thu, 23 May 2024 19:21:53 +0200
Subject: [PATCH] @GenIgnore ReadStream#collect

---
 src/main/java/io/vertx/core/streams/ReadStream.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/java/io/vertx/core/streams/ReadStream.java b/src/main/java/io/vertx/core/streams/ReadStream.java
index 616e57c7274..87d0a5d5e21 100644
--- a/src/main/java/io/vertx/core/streams/ReadStream.java
+++ b/src/main/java/io/vertx/core/streams/ReadStream.java
@@ -145,7 +145,7 @@ default void pipeTo(WriteStream<T> dst, Handler<AsyncResult<Void>> handler) {
    *
    * @return a future notified with result produced by the {@code collector} applied to this stream
    */
-  @GenIgnore(GenIgnore.PERMITTED_TYPE)
+  @GenIgnore
   default <R, A> Future<R> collect(java.util.stream.Collector<T , A , R> collector) {
     PromiseInternal<R> promise = (PromiseInternal<R>) Promise.promise();
     A cumulation = collector.supplier().get();