never es el tipo de los valores que nunca ocurren — una función que nunca retorna (lanza una excepción o entra en un bucle infinito), o una rama que el compilador ha demostrado que es imposible. Es el tipo vacío: ningún valor es asignable a never (excepto never mismo).
