Стартовало голосование по предложению от авторов Psalm и PHPStan — добавить новый тип в PHP:
noreturn / never.Это пустой нижний (bottom) тип и является подтипом всех других типов. Подобный есть в Python, Rust, Kotlin, TypeScript.
Такой тип указывает на то, что функция либо всегда бросает исключение либо завершает выполнение, то есть вызывает
exit(), die(), trigger_error().На голосование также вынесен вопрос как назвать тип:
noreturn (как в Python) или never (TypeScript, Rust).https://wiki.php.net/rfc/noreturn_type