dereference.of.nullable on a local variable after call in nested try-finally

[cpovirk]

Minimized from the real code:

$ cat Monitor.java
class Monitor {
  void acquire() {
    String s = "";

    try {
      return;
    } finally {
      try {
        signal();
      } finally {
        s.toString();
      }
    }
  }

  void signal() {}
}

$ checker/bin/javac -processor org.checkerframework.checker.nullness.NullnessChecker Monitor.java
Monitor.java:11: error: [dereference.of.nullable] dereference of possibly-null reference s
        s.toString();
        ^
1 error

I don't think there's a way for s to be null there.

Source file and -version -verbose -AprintAllQualifiers output attached.

[mernst]

Thanks for the report, Chris. I can't seem to minimize this any further (which I presume is because you did the same thing.)