(resurrecting the thread....)

On 24 November 2016 at 09:35, Niklas Keller <m...@kelunik.com> wrote:

> It's not a small amount of complexity,

So that other people can understand the tradeoff, please could you
detail the complexity as you understand it?

> otherwise we'd already have contra / covariance.

My understanding is that we already allow this where possible. For
example your type-widening RFC
https://wiki.php.net/rfc/parameter-no-type-variance

What is the problem with allowing it here?

cheers
Dan

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

Reply via email to