Pregunta respondida en Inglés
Traduzco:
Las declaraciones switch son extrañas en términos de alcance, básicamente. Fuente sección 6.3 del JLS:
El alcance de una declaración de variable local en un bloque (§14.4) es el resto del bloque en el que aparece la declaración, comenzando con su propio inicializador e incluyendo cualquier otro declarador a la derecha en la declaración de variable local.
En su caso, 'case 2' está en el mismo bloque que 'case 1' y aparece después de él, aunque 'case 1' nunca se ejecutará... Por lo tanto, la variable local está en el ámbito y disponible para escribir a pesar de que lógicamente nunca "ejecuta" la declaración. (Una declaración no es realmente "ejecutable", aunque la inicialización sí lo es).
Si comenta la asignación 'block2 = 5;', el compilador aún sabe a qué variable se refiere, pero no habrá pasado por ninguna ruta de ejecución que le asigne un valor, por lo que obtiene un error como lo haría cuando intenta leer cualquier otra variable local no asignada definitivamente.
Le recomiendo encarecidamente que no use variables locales declaradas en otros casos, ya que conduce a un código muy confuso, como ha visto. Cuando introduzco variables locales en sentencias switch (lo que trato de hacer raramente, los casos deberían ser muy cortos, idealmente) generalmente prefiero introducir un nuevo alcance:
case 1: {
int value = 1;
...
break;
}
case 2: {
int value = 2;
...
break;
}