Never

never è un tipo utilizzabile solo come tipo di ritorno, che indica che la funzione non termina. Ciò significa che chiama exit(), lancia un'eccezione, oppure è un ciclo infinito. Pertanto, non può far parte di una dichiarazione di tipo union. Disponibile a partire da PHP 8.1.0.

never è, nel gergo della teoria dei tipi, il tipo bottom. Ciò significa che è il sottotipo di ogni altro tipo e può sostituire qualsiasi altro tipo di ritorno durante l'ereditarietà.