Type becomes @UnknownInitialization after switch

[cpovirk]

New in 3.39.0-eisop1:

$ cat E.java
enum E {
  FOO;

  E getIt() {
    return FOO;
  }

  String go() {
    E e = getIt();
    switch (e) {
      case FOO:
        return "foo";
    }
    throw new AssertionError(e);
  }
}

$ checker/bin/javac -processor nullness E.java
E.java:14: error: [argument.type.incompatible] incompatible argument for parameter detailMessage of AssertionError constructor.
    throw new AssertionError(e);
                             ^
  found   : @UnknownInitialization E
  required: @Initialized Object
1 error

[cpovirk]

Liam reports that this behavior happens with typetools, too. (Sorry for not checking.) Maybe it's related to the changes for null cases in switch?

[wmdietl]

Liam reports that this behavior happens with typetools, too. (Sorry for not checking.) Maybe it's related to the changes for null cases in switch?

No problem. Thanks to you and Liam for reporting these issues!