[php-src] Issue #7900: `never` return type for arrow functions with throw expressions
| From: | orklah | Date: | Fri, 07 Jan 2022 12:10:46 +0000 |
| Subject: | [php-src] Issue #7900: `never` return type for arrow functions with throw expressions | ||
| Groups: | php.bugs | ||
| Request: | Send a blank email to php-bugs+get-238849@lists.php.net to get a copy of this message | ||
Issue: https://github.com/php/php-src/issues/7900
Comment Author: orklah
The void case is definitely weird indeed. There is no way to generate a "void" value
without a
return; or ending a function without statement. Both of those solutions
can't be used here because the return is implicit and an arrow function must have a statement.
This is the kind of situation where a null pseudo type would be useful though...