I believe rfc deals with reverse situation

On 9 April 2019 4:47:50 PM Dan Ackroyd <dan...@basereality.com> wrote:

On Tue, 9 Apr 2019 at 11:58, Gabriel O <gade...@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




--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php

Reply via email to