Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:127557
Date: Tue, 03 Jun 2025 14:55:33 +0000
To: Kamil Tekiela <tekiela246@gmail.com>
Cc: Larry Garfield <larry@garfieldtech.com>, php internals <internals@lists.php.net>
Subject: Re: [PHP-DEV] [RFC] Transform void into an alias for null
Message-ID: <eizdXuKHW-dbDwqoBnAGBgsF9kUEmjsPzi0yL-HqV6IzeIgerJJ-AbH-ffY9ZKw8JM-h2ksLagAxjYJOpCdMeqNA5y2xn79Vwnr9bug1D1o=@gpb.moe>
In-Reply-To: <CAGBsUrefAPoL56Bx8p1U4OUAKDqLnomQ=G+rOASjC1F51FcGew@mail.gmail.com>
References: <6Z2Ysh6MjYp1nyzuB0bTPJc5srObIcMRqt731JaQeXUJk1f_V_Yo2nRn8WvjI7er7pp7pIUE6WYl5pRwvYrtcrd07nCutyAqKPSsZHmrS-Y=@gpb.moe> <6ef43d7f-711a-46d5-b2a5-b6919feabd93@app.fastmail.com> <CAGBsUrefAPoL56Bx8p1U4OUAKDqLnomQ=G+rOASjC1F51FcGew@mail.gmail.com>
Feedback-ID: 96993444:user:proton
Precedence: bulk
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
From: internals@gpb.moe ("Gina P. Banyard")

On Monday, 2 June 2025 at 18:08, Kamil Tekiela <tekiela246@gmail.com> wrote=
:

> The RFC mentions that this will now become valid:
>=20
> function foo(): void {
> return null;
> }
>=20
> But what about the opposite:
>=20
> function foo(): null {
> return;
> }

This would also work indeed.

> or what Larry was trying to suggest:
>=20
> function foo(): null {
> print 'test';
> }
>=20
> $val =3D foo();

This would also work, as null and void would be isomorphic.
However, if you have a return type of T|null then you'd get errors in both =
cases.

I will clarify this in the RFC.


Best regards,

Gina P. Banyard