never es únicamente un tipo de retorno que indica que la función no se termina. Esto significa que llama a exit(), lanza una excepción, o es un bucle infinito. Por lo tanto, no puede formar parte de una declaración de type union Disponible a partir de PHP 8.1.0.
never es, en el lenguaje de la teoría de tipos, el tipo vacío. Esto significa que es el subtipo de todos los otros tipos y que puede reemplazar cualquier otro tipo de retorno durante la herencia.