Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:105933
Return-Path: <sebastian@php.net>
Delivered-To: mailing list internals@lists.php.net
Received: (qmail 45512 invoked from network); 15 Jun 2019 09:48:12 -0000
Received: from unknown (HELO scarlet.netpirates.net) (188.94.27.5)
  by pb1.pair.com with SMTP; 15 Jun 2019 09:48:12 -0000
Received: from p579cde6e.dip0.t-ipconnect.de ([87.156.222.110] helo=[192.168.178.42])
	by scarlet.netpirates.net with esmtpsa (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256)
	(Exim 4.92)
	(envelope-from <sebastian@php.net>)
	id 1hc2hA-00056z-El
	for internals@lists.php.net; Sat, 15 Jun 2019 09:01:48 +0200
To: internals@lists.php.net
References: <CAFMT4Nodo_8dw4UkwZqT4vzE1=27xd7wczf=JxYu=R3j71xXag@mail.gmail.com>
 <CAFMT4NoyOVYT7U0cbDSOLA3jtipcdtPdaLEWPHPbg3FZSoOprA@mail.gmail.com>
 <CAFMT4Nrh-731iLxgb4BkYYe1OWKDepQjYn15vc-Nq3j43vF4vg@mail.gmail.com>
 <8094526f-88d6-6d46-6f83-4165d65c064a@gmx.de>
 <CAFMT4Np_w5C+Zku9v_r5aHv8BhUKpvhm9ibG3XXXunx4s5Cvag@mail.gmail.com>
 <CAF+90c9dxPN9GLuxoc9GOGzjjnCjCF6JGwwPer1e=DLCY-1qAw@mail.gmail.com>
 <CAFMT4No5s8-75V0bf2uGZ1YysafA-_5kbGfidbUR-JpX+bb3bA@mail.gmail.com>
 <CAF+90c9Vr+CeRt=o+LAXYjuj0XdNg6RX-0Cnvy=XPtiuarYG4Q@mail.gmail.com>
Reply-To: internals@lists.php.net
Message-ID: <9cc316c7-ecfe-0380-cfaf-fd8c58466fe5@php.net>
Date: Sat, 15 Jun 2019 09:01:46 +0200
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:60.0) Gecko/20100101
 Thunderbird/60.7.1
MIME-Version: 1.0
In-Reply-To: <CAF+90c9Vr+CeRt=o+LAXYjuj0XdNg6RX-0Cnvy=XPtiuarYG4Q@mail.gmail.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [PHP-DEV] Re: [RFC][Vote] Covariant Returns and Contravariant
 Parameters
From: sebastian@php.net (Sebastian Bergmann)

Am 13.06.2019 um 18:48 schrieb Nikita Popov:
> An update on this: The last part of covariance support has landed [1] a few
> days ago and is part of 7.4 alpha 1. As already described, full variance is
> only supported in conjunction with autoloading. When working in a single
> file or with explicit includes, the requirement that classes need to be
> declared before being referenced (including reference in variant type
> declarations) remains.

Does "only supported in conjunction with autoloading" mean that covariance 
is not (completely) supported when preloading is used?