From cc0297ae56a0bdd85745a0e6aba9b2c2499dc8c3 Mon Sep 17 00:00:00 2001
From: Manu Sridharan <msridhar@gmail.com>
Date: Tue, 3 Oct 2023 09:30:09 -0700
Subject: [PATCH] add a todo

---
 .../test/java/com/uber/nullaway/jdk17/NullAwayRecordTests.java   | 1 +
 1 file changed, 1 insertion(+)

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
index 1b0b7a997a..a9b5a1eb1e 100644
--- 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;",
             "    };",