Hello internals, This is the second RFC out of a set of type system related RFCs I want to propose for PHP 8.5.
The objective is to fix a weird quirk of PHP's type system, where void lives in its own type hierarchy. This is visible mainly in that a lack of return type is not isomorphic to a function that has a return type of mixed. Let me know what you think about it. RFC: https://wiki.php.net/rfc/void-as-null Best regards, Gina P. Banyard