Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:98290
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: error (pb1.pair.com: domain basereality.com from 209.85.213.174 cause and error)
MIME-Version: 1.0
In-Reply-To: <CANUQDCgOAxNtbukZ1z5Kibxd+Qv8DkpGRcEb-avEk0yZWDjLTw@mail.gmail.com>
References: <CA+kxMuS7BJyJOo0p-+8CF+bKy5oTLWLJVygA=u89iNHPXjENRQ@mail.gmail.com>
 <CAFMT4Nqiv0ThgVRza2oaReDhGzSN0hOtWLyW=qDvc3yVNhd_AA@mail.gmail.com>
 <CA+kxMuQZTLKDDbbJXDjJTkkPCK_0Jfwrek-jVg94x9wEoqQnFw@mail.gmail.com> <CANUQDCgOAxNtbukZ1z5Kibxd+Qv8DkpGRcEb-avEk0yZWDjLTw@mail.gmail.com>
Date: Tue, 14 Feb 2017 18:30:00 +0000
Message-ID: <CA+kxMuS8MQGq+yFbWFHwvNZsRe_rh-X975Wf8OqV5CV2GW3HrA@mail.gmail.com>
To: Niklas Keller <me@kelunik.com>
Cc: Levi Morrison <levim@php.net>, "internals@lists.php.net" <internals@lists.php.net>
Content-Type: text/plain; charset=UTF-8
Subject: Re: [PHP-DEV] [RFC][DISCUSSION] Object type hint, now with added variance
From: danack@basereality.com (Dan Ackroyd)

(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