Check nullness pass knows pattern case variables can't be null

smowton · smowton · commit e94c5a772c7e · 2023-11-30T11:23:59.000Z
diff --git a/java/ql/test/query-tests/Nullness/G.java b/java/ql/test/query-tests/Nullness/G.java
@@ -14,7 +14,7 @@ public static void test(String s) {
 
     switch(s) { // BAD; lack of a null case means this may throw.
       case "foo" -> System.out.println("Foo");
-      default -> System.out.println("Something else");
+      case String s2 -> System.out.println("Other string of length " + s2.length());
     }
 
   }

Original file line number	Diff line number	Diff line change
`@@ -14,7 +14,7 @@ public static void test(String s) {`
`14`	`14`
`15`	`15`	`switch(s) { // BAD; lack of a null case means this may throw.`
`16`	`16`	`case "foo" -> System.out.println("Foo");`
`17`		`- default -> System.out.println("Something else");`
	`17`	`+ case String s2 -> System.out.println("Other string of length " + s2.length());`
`18`	`18`	`}`
`19`	`19`
`20`	`20`	`}`