[RFC] Новый тип – noreturn
Стартовало голосование по предложению от авторов 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
>>Click here to continue<<
