Lo "correcto" sería inferir never[] para el literal de matriz vacío [] , porque el tipo de un literal de matriz es la unión de los tipos de sus elementos, y never es la unión de un conjunto vacío.

Sin embargo, dado que inferir never[] generalmente no es lo que el usuario pretende al escribir const a = [] , este caso particular recibió un tratamiento muy especial en el compilador , y ahora comienza infiriendo implícitamente any[] y luego refinando el tipo basado en el flujo de control posterior.

No parece haber ningún significado más profundo detrás de esto: es solo lo que resulta ser más útil en la mayoría de los casos.