Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:125964
Precedence: bulk
MIME-Version: 1.0
References: <eA2u_Q4Tx5JeWD3_afszKmrPzzJq19VZ9tNjUktkftqvm6MtNpYOjmoRx4UfEqge4hfqmPn3CepKezqEPpdRBi8xhFWucCNjl6ffqgGPtbc=@gpb.moe>
 <461FD462-72A8-42D4-B6A2-CA10AC5CA395@gmail.com> <La-trbfvUeJVp8IdwJDhQDmpKubWyFSGq3WeE6VPnSh6iwuQkCvwwPPV1i2gKIhQe85udf2AY750Gh_4_w4NBTJl_dL3ggk4ABLRppmlVgQ=@gpb.moe>
 <CAAKU0u=Oz9LG3Y9AujTnoVSmdbnnjmdob=GUX32_gsSvM8cS0A@mail.gmail.com> <ZN2joVgi6HnGfmIzoxiDy4fD1Z6Iwt6aYltf5bFwTrb1yhqRvl9x6aricrB8CXovcV0P2CIB0RJj-fy0QhVReTXvg_ZiMmQaUC7i8IoUqrc=@gpb.moe>
In-Reply-To: <ZN2joVgi6HnGfmIzoxiDy4fD1Z6Iwt6aYltf5bFwTrb1yhqRvl9x6aricrB8CXovcV0P2CIB0RJj-fy0QhVReTXvg_ZiMmQaUC7i8IoUqrc=@gpb.moe>
Date: Fri, 15 Nov 2024 10:35:54 -0700
Message-ID: <CAAKU0unZPW8-1iR0jyK159k98_ZvGjgz0O0fj_bLZASLfVXFFw@mail.gmail.com>
Subject: Re: [PHP-DEV] Make Closure covariant to callable
To: "Gina P. Banyard" <internals@gpb.moe>
Cc: Claude Pache <claude.pache@gmail.com>, PHP internals <internals@lists.php.net>
Content-Type: text/plain; charset="UTF-8"
From: levi.morrison@datadoghq.com (Levi Morrison)

> > There are some weird cases with `callable` which is why they aren't
> > allowed as a property type. I don't remember all the edges, but if we
> > are sure that we cannot hit those with simple co-/contra-variance,
> > then I don't think this needs an RFC and we can just merge the PR.
>
> The reason that callable is not allowed as a property type is due to scope/method visibility issues.
> See the discussion section of Nikita's Deprecate partially supported callables RFC: https://wiki.php.net/rfc/deprecate_partially_supported_callables#discussion
> The callable type is allowed as a parameter and return type, and Closure is "better" defined than just callable.

Then personally I see no reason to make this an RFC and would
recommend merging it in as a gap in existing features (not really a
new feature).