Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:99076
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain devilix.net designates 209.85.218.47 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <CAFMT4NqTKJ0fjQbJr1h7bQBXsO2gzpAOM=k_9wrgaCjQA4tgmA@mail.gmail.com>
References: <CABdc3WrBVOUDuohP1RrFhQTv==otTGHuKuMe-JVD2DU2EaHDRQ@mail.gmail.com>
 <CAFMT4NqTKJ0fjQbJr1h7bQBXsO2gzpAOM=k_9wrgaCjQA4tgmA@mail.gmail.com>
Date: Wed, 17 May 2017 17:52:04 +0300
Message-ID: <CAPhkiZzV9oyRG9hLkePACRL+W+7WeVm9zvX6AbeA20afsZTVgA@mail.gmail.com>
To: Levi Morrison <levim@php.net>
Cc: =?UTF-8?Q?Micha=C5=82_Brzuchalski?= <michal@brzuchalski.com>, 
	PHP Internals List <internals@lists.php.net>
Content-Type: text/plain; charset="UTF-8"
Subject: Re: [PHP-DEV] [RFC] [VOTE] Object typehint RFC
From: narf@devilix.net (Andrey Andreev)

Hi,

On Wed, May 17, 2017 at 5:47 PM, Levi Morrison <levim@php.net> wrote:
>
>   1. Object variance should be implemented when we have generalized
> variance for all types. By special casing it now we open ourselves to the
> possibility that its implementation or semantics will differ from the
> generalized solution.
>

That's a very good point.

It may even decide how variance works in all of PHP, "because consistency".

Cheers,
Andrey.