Re: [RFC] Always generate fatal error for incompatible method signatures
| From: | Gabriel O | Date: | Tue, 09 Apr 2019 15:00:15 +0000 |
| Subject: | Re: [RFC] Always generate fatal error for incompatible method signatures | ||
| References: | 1 2 3 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-105178@lists.php.net to get a copy of this message | ||
I believe rfc deals with reverse situation
On 9 April 2019 4:47:50 PM Dan Ackroyd <Danack@basereality.com> wrote:
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