Re: [RFC] Always generate fatal error for incompatible method signatures
| From: | Dan Ackroyd | Date: | Tue, 09 Apr 2019 14:47:37 +0000 |
| Subject: | Re: [RFC] Always generate fatal error for incompatible method signatures | ||
| References: | 1 2 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-105177@lists.php.net to get a copy of this message | ||
On Tue, 9 Apr 2019 at 11:58, Gabriel O <gadelat@gmail.com> wrote:
> And this RFC conveniently shows only big LSP violation examples like array -> int, but not
> widely used narrowing like mixed/object -> specific instance.
Type narrowing or contravariant parameters is properly supported for
PHP 7.4: https://wiki.php.net/rfc/covariant-returns-and-contravariant-parameters
, which is why this RFC doesn't need to cover them.
cheers
Dan
Ack