¿Alguna razón por la que esto esté permitido?

Probablemente no podemos decir con certeza: la respuesta esencial es "porque lo es" o "porque sus razones para pensar que no deberían diferir con el pensamiento de quienes diseñaron el lenguaje", pero realmente no podemos responder a preguntas como " en qué estaba pensando Microsoft cuando lo diseñaron de tal manera que...", a menos que tal vez alguien sea uno de los pocos privilegiados que se hayan sentado en esa reunión de diseño y pueda tener autoridad

Sin embargo, SharpLab.io le dirá lo que sucede debajo del capó; compila, luego descompila su código y le muestra el resultado, para que pueda tener una idea de en qué el compilador transformó su código:

^{Nota: intercambió sus números por otros, no predeterminados, para que la identificación de qué era qué se pueda mantener después de que el compilador cambie los nombres}

Gran parte del código que escribe es azúcar sintáctico para otra cosa; aquí puede ver que su int k no está enterrado dentro del interruptor, con el alcance solo "dentro del primer caso", pero transformado en algo completamente diferente. Por lo tanto, es C # legal porque nada impide que no lo sea, y puede racionalizar eso en una forma que te ayudará a recordarlo. De manera similar, tal vez parezca que esto no debería funcionar:

 object o = ""; if(o is string s){ } s = "";

s parece, para mí, que se creó dentro del alcance de if , pero es accesible fuera de if .. Encontrará una transformación explicativa similar si ejecuta eso a través de SharpLab..