Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:99195
Return-Path: <narf@devilix.net>
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Delivered-To: mailing list internals@lists.php.net
Received: (qmail 91149 invoked from network); 26 May 2017 08:35:57 -0000
Received: from unknown (HELO lists.php.net) (127.0.0.1)
  by localhost with SMTP; 26 May 2017 08:35:57 -0000
Authentication-Results: pb1.pair.com header.from=narf@devilix.net; sender-id=pass
Authentication-Results: pb1.pair.com smtp.mail=narf@devilix.net; spf=pass; sender-id=pass
Received-SPF: pass (pb1.pair.com: domain devilix.net designates 209.85.218.44 as permitted sender)
X-PHP-List-Original-Sender: narf@devilix.net
X-Host-Fingerprint: 209.85.218.44 mail-oi0-f44.google.com  
Received: from [209.85.218.44] ([209.85.218.44:34966] helo=mail-oi0-f44.google.com)
	by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP
	id 0C/E1-10292-CE8E7295 for <internals@lists.php.net>; Fri, 26 May 2017 04:35:56 -0400
Received: by mail-oi0-f44.google.com with SMTP id l18so4894672oig.2
        for <internals@lists.php.net>; Fri, 26 May 2017 01:35:56 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=devilix.net; s=google;
        h=mime-version:in-reply-to:references:from:date:message-id:subject:to
         :cc;
        bh=uw2v0729gEbV0C4XRvpdGPKM8r6DD2iJJb+t8L6gzeM=;
        b=RyBlM49w4c0hCLtk+dzzRMVgGxGKHNqeb6PLH8mlW2stKUChp+2QWRLOSEZ0MN1eHR
         wA11HVxL4RZmKVJS87OZRprHGP3LEDRHAy2OKA960Y7EVOE62wysvnNUjmLNW4xL0ur1
         302a766XKsCTmgMhH29tgo1uddY+a5h7wdVhY=
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20161025;
        h=x-gm-message-state:mime-version:in-reply-to:references:from:date
         :message-id:subject:to:cc;
        bh=uw2v0729gEbV0C4XRvpdGPKM8r6DD2iJJb+t8L6gzeM=;
        b=aTbmuZqoTWq0mzFcYcU9V2Gwbn3Lo12srfmg80/mWAz7sQzqRxKbnMIZ2xLndj07w6
         EM4QPoQQwJeuH/oFW1Yt92CljRRZMfUk+PRMCZksR0kPF1tsJj91YA8xvZCQNyQlPWYx
         5PQJPIzY6AJ80npVbX3crPYennPWZ2DIsr2OgqcVYMdzwaXPOxkgZ0yBL71QLsmN0Osd
         iIE1ovqPPg+deo26DsHoG8I2XrjT6BpDhmWf++jowWt+nZbPGyg3SX1dl9IHNFGxvxD7
         RASd5uy1R7D/2CC0Huljf+JoWnISfv9428qzIxGd8ihGCTAcmiizx1VbSSkzEksjWD8s
         lyxg==
X-Gm-Message-State: AODbwcAVrkC6/sIrr65fOD2TcHZC277ruVKlvKz7jyZJb5UoAk7vxTb+
	rsMiCmldldvZY7tUsEpUvpYCRfVHB2Mw4gs=
X-Received: by 10.202.0.4 with SMTP id 4mr339786oia.8.1495787754300; Fri, 26
 May 2017 01:35:54 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.182.110.7 with HTTP; Fri, 26 May 2017 01:35:53 -0700 (PDT)
In-Reply-To: <CA+kxMuQ5exWsJanp88bz7zTmoqtmKQ66NydqPhUgd=mPywncmA@mail.gmail.com>
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>
Date: Fri, 26 May 2017 11:35:53 +0300
Message-ID: <CAPhkiZwi-Ji2LVFk46MpwHWmPxC_sBZkTiAHMZOV7qNiku9aug@mail.gmail.com>
To: Dan Ackroyd <danack@basereality.com>
Cc: "internals@lists.php.net" <internals@lists.php.net>, Rasmus Schultz <rasmus@mindplay.dk>
Content-Type: text/plain; charset="UTF-8"
Subject: Re: [PHP-DEV] Parameter type widening RFC
From: narf@devilix.net (Andrey Andreev)

Hi,

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. :)

Cheers,
Andrey.