On 03/04/2021 16:30, Benjamin Eberlei wrote:
But I again get to the point of the problem with this RFC due to naming. "never" is actually combining "nothing" type with "noreturn" flag, so for me the most consistent way would have been "public noreturn function foo(): nothing"
I'm not sure how the flag and return type could ever be used separately. Are you suggesting that we should allow all 3 of these:
- public noreturn function foo(): nothing - public noreturn function foo(): int - public function foo(): nothing How would any tool treat these differently? Regards, -- Rowan Tommins [IMSoP] -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: https://www.php.net/unsub.php
