Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:125945
Content-Type: text/plain;
	charset=utf-8
Precedence: bulk
Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3776.700.51.11.1\))
Subject: Re: [PHP-DEV] Make Closure covariant to callable
In-Reply-To: <eA2u_Q4Tx5JeWD3_afszKmrPzzJq19VZ9tNjUktkftqvm6MtNpYOjmoRx4UfEqge4hfqmPn3CepKezqEPpdRBi8xhFWucCNjl6ffqgGPtbc=@gpb.moe>
Date: Tue, 12 Nov 2024 17:43:04 +0100
Cc: PHP internals <internals@lists.php.net>
Content-Transfer-Encoding: quoted-printable
Message-ID: <461FD462-72A8-42D4-B6A2-CA10AC5CA395@gmail.com>
References: <eA2u_Q4Tx5JeWD3_afszKmrPzzJq19VZ9tNjUktkftqvm6MtNpYOjmoRx4UfEqge4hfqmPn3CepKezqEPpdRBi8xhFWucCNjl6ffqgGPtbc=@gpb.moe>
To: "Gina P. Banyard" <internals@gpb.moe>
From: claude.pache@gmail.com (Claude Pache)


> Le 12 nov. 2024 =C3=A0 14:53, Gina P. Banyard <internals@gpb.moe> a =
=C3=A9crit :
>=20
> Hello internals,
>=20
> Ond=C5=99ej Mirtes (author of PHPStan) remarked to me in August that =
Closure is not a subtype of callable.
> The implementation of this is quite straight forward and can be seen =
on GitHub. [1]
> The question is if there are any concern or not and if this requires =
an RFC or can just be merged as is.
>=20
> Best regards,
>=20
> Gina P. Banyard
>=20
> [1] https://github.com/php/php-src/pull/15492


Hi Gina,

That seems reasonable.

But personally, I would be more interested in having a type equivalent =
to `callable&object`, that is all objects that implement the =
`__invoke()` magic method (this is a strict super-type of \Closure).

=E2=80=94Claude