Never

never є типом з поверненням, що означає, що функція не завершується. Це означає, що вона або викликає exit(), або генерує виключення, або є нескінченним циклом. Тому він не може бути частиною оголошення типу об'єднання. Доступно починаючи з версії PHP 8.1.0.

ніколи не є, мовою теорії типів, нижнім типом. Це означає, що він є підтипом будь-якого іншого типу і може замінити будь-який інший тип повернення під час успадкування.