Add another XXX comment

PicnicSupermarket · Aug 20, 2022 · d6e16f7 · d6e16f7
1 parent d50858e
commit d6e16f7
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/error-prone-contrib/src/main/java/tech/picnic/errorprone/bugpatterns/NonEmptyMono.java b/error-prone-contrib/src/main/java/tech/picnic/errorprone/bugpatterns/NonEmptyMono.java
@@ -31,6 +31,9 @@
     linkType = NONE,
     severity = WARNING,
     tags = SIMPLIFICATION)
+// XXX: This check does not simplify `someFlux.defaultIfEmpty(T).{defaultIfEmpty(T),hasElements()}`,
+// as `someFlux.defaultIfEmpty(T)` yields a `Flux` rather than a `Mono`. Consider adding support for
+// these cases.
 // XXX: Given more advanced analysis many more expressions could be flagged. Consider
 // `Mono.just(someValue)`, `Flux.just(someNonEmptySequence)`,
 // `someMono.switchIfEmpty(someProvablyNonEmptyMono)` and many other variants.