add a todo

uber · Oct 3, 2023 · cc0297a · cc0297a
1 parent b8c9fd0
commit cc0297a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/jdk-recent-unit-tests/src/test/java/com/uber/nullaway/jdk17/NullAwayRecordTests.java b/jdk-recent-unit-tests/src/test/java/com/uber/nullaway/jdk17/NullAwayRecordTests.java
@@ -242,6 +242,7 @@ public void recordDeconstructionPatternSwitchCase() {
             "  record Rec(Object first, @Nullable Object second) { }",
             "  int recordDeconstructionSwitchCase(Object obj) {",
             "    return switch (obj) {",
+            "      // TODO: NullAway should report a warning here!",
             "      case Rec(Object f, @Nullable Object s) -> s.toString().length();",
             "      default -> 0;",
             "    };",