Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:126902
Date: Fri, 21 Mar 2025 20:41:36 +0000
To: Larry Garfield <larry@garfieldtech.com>
Cc: php internals <internals@lists.php.net>
Subject: Re: [PHP-DEV] [RFC] [Discussion] Never parameters
Message-ID: <i43phd7_p5kiaELpShZYtFDlOuzQKibrzhBH0cLiTURnDnf6QgSjoqt2km__6K4kj4J3YnU20kV7Y1moNyIzb5RQGdLISdjCYR4XPwcb42g=@gpb.moe>
In-Reply-To: <a1476dbb-9f3e-4210-8a63-e72efeb4f18a@app.fastmail.com>
References: <CALaXqqRWL8ygMGoA5xnMtt7w6rE-5WJJZ5P9oiO3vHgqvod=Fw@mail.gmail.com> <3e35cd25-c851-4ecc-8a1b-102dadb226e5@app.fastmail.com> <g4O0Q4GSjNBFDWMnxLBOnCT8A6vj8SoQ7AkdEHL7IUXV4ecEvc_HZVeHXMJOg_HzyJ1MTT-yo-_7_pbsjuB_7t79LGu1WRtlhVnnL-KPiac=@gpb.moe> <a1476dbb-9f3e-4210-8a63-e72efeb4f18a@app.fastmail.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 Thursday, 20 March 2025 at 16:57, Larry Garfield <larry@garfieldtech.com=
> wrote:

> On Thu, Mar 20, 2025, at 11:24 AM, Gina P. Banyard wrote:
>=20
> > As the person that had the initial discussion in R11 with Jordan [1]
> > never as a parameter type for an interface actually is not the solution
> > for "poor man generics".
> > Matthew Fonda [2] already replied to the thread pointing out the remark
> > Nikita made in the discussion of the previous RFC.
> > But importantly, going from mixed parameter type to a generic parameter
> > type is allowed and not a BC change,
> > however, going from a never parameter type to a generic parameter type
> > is a BC break.
>=20
>=20
> To clarify, you're saying this:
>=20
> [...]
>
> Am I following that? Because just from writing that I am not sure I agree=
, which means I may be misunderstanding. :-)

I am saying:
interface I {
  pubic function foo(never $a);
}

can ***not*** be "upgraded" to

interface I<A> {
    pubic function foo(A $a);
}

whereas it is possible to go from

interface I {
  pubic function foo(mixed $a);
}

to

interface I<A> {
    pubic function foo(A $a);
}

The implementing classes are completely irrelevant in this context.

Best regards,

Gina P. Banyard