another test

uber · Oct 2, 2023 · b8c9fd0 · b8c9fd0
1 parent cdf83ce
commit b8c9fd0
Showing 1 changed file with 21 additions and 2 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
@@ -212,15 +212,15 @@ public void recordEqualsNull() {
   }
 
   @Test
-  public void recordDeconstructionPattern() {
+  public void recordDeconstructionPatternInstanceOf() {
     defaultCompilationHelper
         .addSourceLines(
             "Records.java",
             "package com.uber;",
             "import javax.annotation.Nullable;",
             "class Records {",
             "  record Rec(Object first, @Nullable Object second) { }",
-            "  void recordDeconstruction(Object obj) {",
+            "  void recordDeconstructionInstanceOf(Object obj) {",
             "    if (obj instanceof Rec(Object f, @Nullable Object s)) {",
             "      f.toString();",
             "      // TODO: NullAway should report a warning here!",
@@ -230,4 +230,23 @@ public void recordDeconstructionPattern() {
             "}")
         .doTest();
   }
+
+  @Test
+  public void recordDeconstructionPatternSwitchCase() {
+    defaultCompilationHelper
+        .addSourceLines(
+            "Records.java",
+            "package com.uber;",
+            "import javax.annotation.Nullable;",
+            "class Records {",
+            "  record Rec(Object first, @Nullable Object second) { }",
+            "  int recordDeconstructionSwitchCase(Object obj) {",
+            "    return switch (obj) {",
+            "      case Rec(Object f, @Nullable Object s) -> s.toString().length();",
+            "      default -> 0;",
+            "    };",
+            "  }",
+            "}")
+        .doTest();
+  }
 }