Чем отличается never от void в PHP 8.1?

never и void в PHP 8.1 отличаются поведением при завершении функции. php.watch kinsta.com

never указывает, что функция никогда не вернёт значение и всегда выбросит исключение или завершится вызовом die или exit. php.watch В такой функции нельзя вызывать return, даже без значения. php.watch

Void позволяет программе продолжить выполнение после вызова функции. habr.com kinsta.com В объявленной с таким типом функции можно вызывать return без явного значения. php.watch

Таким образом, void используют, когда нужно, чтобы PHP продолжил выполнение после вызова функции, а never — когда требуется противоположное поведение. kinsta.com

Кроме того, never — это «нижний» тип, то есть метод класса с таким типом возврата не может изменить свой тип возврата на другой. php.watch kinsta.com