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
