Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:99201
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmx.de designates 212.227.15.15 as permitted sender)
To: Niklas Keller <me@kelunik.com>, Andrey Andreev <narf@devilix.net>
Cc: Dan Ackroyd <danack@basereality.com>,
 "internals@lists.php.net" <internals@lists.php.net>,
 Rasmus Schultz <rasmus@mindplay.dk>
References: <CADqTB_jB2ic4jx84HXVBPDr2qbP-DnXe782quKwc6o-ERpJJVw@mail.gmail.com>
 <269187f4-5924-a7cc-9163-40134546451f@fleshgrinder.com>
 <CAPhkiZyX1zC3W03CS6KBSgQxoWht96oOeFrAswG2jrSM2zJEPw@mail.gmail.com>
 <CA+kxMuQ5exWsJanp88bz7zTmoqtmKQ66NydqPhUgd=mPywncmA@mail.gmail.com>
 <CAPhkiZwi-Ji2LVFk46MpwHWmPxC_sBZkTiAHMZOV7qNiku9aug@mail.gmail.com>
 <CANUQDCiMfhUAeAX+3yfSkSp1vodegvVDt=ff7AWYPia_AnxQ4A@mail.gmail.com>
Message-ID: <2dca6983-bbde-6042-6608-a593df2e85ed@gmx.de>
Date: Fri, 26 May 2017 14:16:56 +0200
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:52.0) Gecko/20100101
 Thunderbird/52.1.1
MIME-Version: 1.0
In-Reply-To: <CANUQDCiMfhUAeAX+3yfSkSp1vodegvVDt=ff7AWYPia_AnxQ4A@mail.gmail.com>
Content-Type: text/plain; charset=utf-8
Content-Language: de-DE
Content-Transfer-Encoding: 7bit
Subject: Re: [PHP-DEV] Parameter type widening RFC
From: cmbecker69@gmx.de ("Christoph M. Becker")

On 26.05.2017 at 12:16, Niklas Keller wrote:

> 2017-05-26 10:35 GMT+02:00 Andrey Andreev <narf@devilix.net>:
> 
>> On Thu, May 25, 2017 at 11:02 PM, Dan Ackroyd <danack@basereality.com>
>> wrote:
>>>
>>> The RFC specifically didn't mention LSP....because that is separate
>>> from co/contravariance. It's unfortunate for other people to be
>>> throwing the two around at you with a lack of precision.
>>
>> Perhaps this was the issue ... I was under the impression that LSP was
>> used as (part of) the motivation for the RFC.
>>
>> The rest is pretty clear, though thanks for the lengthy explanation. :)
> 
> Sorry for the delay and confusion. As Nikita already mentioned, it's a
> consequence of LSP, not directly what LSP is about.

Indeed, it is not about LSP, so I suggest to fix the note in UPGRADING[1].

[1]
<https://github.com/php/php-src/blob/e5c273dc0ea4cb0e0583af9b4c5889a8c431264f/UPGRADING#L100-L103>

-- 
Christoph M. Becker