Updated TODOs

jqwik-team · Sep 30, 2023 · ac2ade6 · ac2ade6
1 parent 47eb97e
commit ac2ade6
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/TODO.md b/TODO.md
@@ -5,6 +5,9 @@
 
 # 1.8.x
 
+    - Using @UseType for sealed interfaces and classes: https://github.com/jqwik-team/jqwik/issues/523
+      Will probably require a new module for java 17
+
     - Allow parallel test runs with SBT: https://github.com/jqwik-team/jqwik/issues/514
 
     - Method ordering. See https://github.com/jqwik-team/jqwik/issues/502.