Annotate Gatherer.default*.

jspecify · Oct 7, 2024 · d4eb452 · d4eb452
1 parent 98d5c86
commit d4eb452
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/java.base/share/classes/java/util/stream/Gatherer.java b/src/java.base/share/classes/java/util/stream/Gatherer.java
@@ -286,7 +286,7 @@ default BiConsumer<A, Downstream<? super R>> finisher() {
      * @return the instance of the default initializer
      * @param <A> the type of the state of the returned initializer
      */
-    static <A> Supplier<A> defaultInitializer() {
+    static <A> Supplier<@Nullable A> defaultInitializer() {
         return Gatherers.Value.DEFAULT.initializer();
     }
 
@@ -301,7 +301,7 @@ static <A> Supplier<A> defaultInitializer() {
      * @return the instance of the default combiner
      * @param <A> the type of the state of the returned combiner
      */
-    static <A> BinaryOperator<A> defaultCombiner() {
+    static <A extends @Nullable Object> BinaryOperator<A> defaultCombiner() {
         return Gatherers.Value.DEFAULT.combiner();
     }
 
@@ -318,7 +318,7 @@ static <A> BinaryOperator<A> defaultCombiner() {
      * @param <A> the type of the state of the returned finisher
      * @param <R> the type of the Downstream of the returned finisher
      */
-    static <A, R> BiConsumer<A, Downstream<? super R>> defaultFinisher() {
+    static <A extends @Nullable Object, R extends @Nullable Object> BiConsumer<A, Downstream<? super R>> defaultFinisher() {
         return Gatherers.Value.DEFAULT.finisher();
     }