Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:126893
Precedence: bulk
MIME-Version: 1.0
Date: Fri, 21 Mar 2025 12:36:01 +0100
To: Juris Evertovskis <juris@glaive.pro>
Cc: Daniel Scherzer <daniel.e.scherzer@gmail.com>, internals@lists.php.net
Subject: Re: [PHP-DEV] [RFC] [Discussion] Never parameters
In-Reply-To: <17f97184100adbe822868f23251659a4@glaive.pro>
References: <CALaXqqRWL8ygMGoA5xnMtt7w6rE-5WJJZ5P9oiO3vHgqvod=Fw@mail.gmail.com>
 <CAJF_ukXsyh9k+JTOiuJvYJ5Brq41vYBb-8+Cg6rfH9yE459Pbg@mail.gmail.com>
 <CALaXqqQDMKju=TmSR4hruG1dr4qb4MTKrmcyQdXqGa2j5B_joQ@mail.gmail.com>
 <17f97184100adbe822868f23251659a4@glaive.pro>
Message-ID: <739c7d158f17a27bbe5beebf36682bc7@bastelstu.be>
Content-Type: text/plain; charset=UTF-8;
 format=flowed
Content-Transfer-Encoding: 8bit
From: tim@bastelstu.be (=?UTF-8?Q?Tim_D=C3=BCsterhus?=)

Hi

Am 2025-03-20 21:04, schrieb Juris Evertovskis:
> I'm not opposed to having a bottom type, but the `try`/`tryFrom` issue 
> feels caused by another shortcoming.
> 
> In my view`from` and `tryFrom` are factory methods that construct an 
> instance by being called on the class itself. As such they should not 
> be subject to LSP at all, just like __construct is not.

Indeed. I said the same in the PR on GitHub: 
https://github.com/php/php-src/pull/18016#issuecomment-2715887293. 
Static methods within an interface are not useful.

The `never` type would however still be useful for non-static methods in 
interfaces and to round off the type hierarchy.

Best regards
Tim Düsterhus