From 34526c71f615beaf09d8231d6c06bc301845dfb2 Mon Sep 17 00:00:00 2001
From: Lukas Eder <lukas.eder@gmail.com>
Date: Thu, 30 Dec 2021 16:07:33 +0100
Subject: [PATCH] [jOOQ/jOOQ#12425] Add note about unsafe casts

---
 jOOQ/src/main/java/org/jooq/Traverser.java | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/jOOQ/src/main/java/org/jooq/Traverser.java b/jOOQ/src/main/java/org/jooq/Traverser.java
index 88a43203f7..d9325be8cf 100644
--- a/jOOQ/src/main/java/org/jooq/Traverser.java
+++ b/jOOQ/src/main/java/org/jooq/Traverser.java
@@ -118,6 +118,7 @@ public interface Traverser<A, R> {
      * {@link #supplier()}, {@link #abort()}, {@link #recurse()},
      * {@link #before()}, {@link #after()}, and {@link #finisher()}.
      */
+    @SuppressWarnings("unchecked")
     static <A, R> Traverser<A, R> of(
         Supplier<A> supplier,
         Predicate<? super A> abort,
@@ -127,7 +128,9 @@ public interface Traverser<A, R> {
         Function<? super A, ? extends R> finisher
     ) {
 
-        // TODO: Perhaps we should accept only invariant functions?
+        // The below casts can be considered safe as they can be replaced by
+        // respective x::test or x::apply method references turning variant
+        // versions of the functions into invariant ones.
         return new Traverser<A, R>() {
             @Override
             public Supplier<A> supplier() {