RFR: 8281100: Spurious "variable might not have been initialized" with sealed class switch

[Vicente Romero]

On Wed, 9 Feb 2022 09:40:21 GMT, Jan Lahoda <jlahoda at openjdk.org> wrote:

> Consider:
> 
> interface I permits A, B {}
> 
> String data;
> I i = ...;
> switch (i) {
>     case A a -> data = 0;
>     case B b -> data = 0;
> }
> System.err.println(data); //incorrect error here
> 
> 
> The specification says that `data` is definitely assigned as the `System.err.println`, as the switch covers `I`, but javac will report an error that the variable may not be assigned.
> 
> This patch fixes that - the only tricky part is that if there's an error in the switch (like when the switch is expected to be exhaustive, but is not), the current patch will try to suppress the follow-up "variable may not be assigned" errors. As an example:
> 
> interface I permits A, B {}
> 
> String data;
> I i = ...;
> switch (i) { //error here, not exhaustive
>     case A a -> data = 0;
> }
> System.err.println(data); //no error here, due to the preceding exhaustiveness error

Marked as reviewed by vromero (Reviewer).

-------------

PR: https://git.openjdk.java.net/jdk/pull/7402