¿En qué casos se puede usar el tipo Never en Dart?

El tipo Never en Dart se utiliza para indicar que una función o expresión nunca completará su ejecución de manera normal. Esto puede ocurrir por las siguientes razones:

• La función siempre lanza una excepción.
• La función contiene un ciclo infinito.

Never es un subtipo de cualquier otro tipo, incluyendo null. Esto significa que un valor de tipo Never puede ser asignado a una variable de cualquier tipo.

Ejemplos de uso:

1. Funciones que lanzan excepciones:

   Never throwError(String message) {
     throw Exception(message); // La función siempre lanza una excepción
   }
   

2. Funciones con ciclo infinito:

   Never infiniteLoop() {
     while (true) {
       // Ejecución infinita
     }
   }
   

El uso de Never ayuda al compilador y al analizador estático a entender mejor los flujos de ejecución del programa y a detectar posibles problemas. Por ejemplo, si una función está marcada como que devuelve Never, el compilador puede entender que el código después de esa llamada nunca será alcanzado.