JointJavacJavaParserVisitor now handles switch expressions

build.gradle

@@ -2,7 +2,7 @@ import de.undercouch.gradle.tasks.download.Download
 
 plugins {
     // https://plugins.gradle.org/plugin/com.github.johnrengelman.shadow (v5 requires Gradle 5)
-    id 'com.github.johnrengelman.shadow' version '7.1.1'
+    id 'com.github.johnrengelman.shadow' version '7.1.0'
     // https://plugins.gradle.org/plugin/de.undercouch.download
     id "de.undercouch.download" version "4.1.2"
     id 'java'
@@ -690,11 +690,15 @@ subprojects {
         //  * Temporarily comment out "-Werror" elsewhere in this file
         //  * Repeatedly run `./gradlew clean compileJava` and fix all errors
         //  * Uncomment "-Werror"
-      ext.errorproneVersion = '2.10.0'
-      errorprone group: 'com.google.errorprone', name: 'error_prone_core', version: errorproneVersion
+        //  * Don't edit framework/build.gradle to use the same version number
+        //    (it is updated when the annotated version of Guava is updated).
+        errorprone group: 'com.google.errorprone', name: 'error_prone_core', version: '2.10.0'
 
       // TODO: it's a bug that annotatedlib:guava requires the error_prone_annotations dependency.
-      annotatedGuava "com.google.errorprone:error_prone_annotations:${errorproneVersion}"
+      // Update the next two version numbers in tandem.  Get the Error Prone version from the "compile
+      // dependencies" section of https://mvnrepository.com/artifact/com.google.guava/guava/30.1.1-jre .
+      // (It isn't at https://mvnrepository.com/artifact/org.checkerframework.annotatedlib/guava/30.1.1-jre, which is the bug.)
+      annotatedGuava 'com.google.errorprone:error_prone_annotations:2.5.1'
       annotatedGuava ('org.checkerframework.annotatedlib:guava:30.1.1-jre') {
         // So long as Guava only uses annotations from checker-qual, excluding it should not cause problems.
         exclude group: 'org.checkerframework'

checker/tests/nullness/java17/NullnessSwitchExpressions.java

@@ -36,6 +36,8 @@ void method2() {
           default -> throw new IllegalStateException("Invalid day: " + day);
         };
 
+    // TODO: This is a false positive.
+    // :: error: (dereference.of.nullable)
     o.toString();
   }
 
@@ -49,6 +51,8 @@ void method3() {
             String s = null;
             if (day == Day.THURSDAY) {
               s = "hello";
+              // TODO: This is a false positive.
+              // :: error: (dereference.of.nullable)
               s.toString();
             }
             yield s;