never - это объявление типа только для возвращаемого значения, указывающий на то, что функция не завершается. Это означает, что она либо вызывает exit(), либо выбрасывает исключение, либо является бесконечным циклом. Поэтому он не может быть частью объявления объединённых типов. Доступно, начиная с PHP 8.1.0.
never - это, говоря языком теории типов, нижний тип. Это означает, что он является подтипом любого другого типа и может заменить любой другой тип возвращаемого значения при наследовании.