Re: [RFC][DISCUSSION] Object type hint, now with added variance
| From: | Dan Ackroyd | Date: | Tue, 14 Feb 2017 18:30:00 +0000 |
| Subject: | Re: [RFC][DISCUSSION] Object type hint, now with added variance | ||
| References: | 1 2 3 4 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-98290@lists.php.net to get a copy of this message | ||
(resurrecting the thread....)
On 24 November 2016 at 09:35, Niklas Keller <me@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