On Mon, Jun 2, 2025, at 11:27 AM, Gina P. Banyard wrote:
> 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
The result of this RFC is that the following would no longer be an error, yes?
function test(): void {
print "test";
}
// This currently gives an error, but you propose that it
// would change to set $val to null?
$val = test();
--Larry Garfield
