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