Em que casos pode-se usar o tipo Never em Dart?

O tipo Never em Dart é usado para indicar que uma função ou expressão nunca terminará sua execução de forma normal. Isso pode acontecer pelos seguintes motivos:

• A função sempre lança uma exceção.
• A função contém um ciclo infinito.

Never é um subtipo de qualquer outro tipo, incluindo null. Isso significa que um valor do tipo Never pode ser atribuído a uma variável de qualquer tipo.

Exemplos de uso:

1. Funções que lançam exceções:

   Never throwError(String message) {
     throw Exception(message); // A função sempre lança uma exceção
   }
   

2. Funções com ciclo infinito:

   Never infiniteLoop() {
     while (true) {
       // Execução infinita
     }
   }
   

O uso de Never ajuda o compilador e o analisador estático a entender melhor os fluxos de execução do programa e a detectar problemas potenciais. Por exemplo, se uma função for marcada como retornando Never, o compilador pode entender que o código após essa chamada nunca será atingido.