int (E e) { return switch (E.FOO) { default: int <warning descr="Local variable 'x' declared in one 'switch' branch and used in another">x</warning> = 1; System.out.println(x); yield 1; case FOO: case BAR: case BAZ: x = 2; System.out.println(x); yield 2; }; }