Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:79273 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 31051 invoked from network); 28 Nov 2014 12:30:15 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 28 Nov 2014 12:30:15 -0000 Authentication-Results: pb1.pair.com header.from=ajf@ajf.me; sender-id=pass Authentication-Results: pb1.pair.com smtp.mail=ajf@ajf.me; spf=pass; sender-id=pass Received-SPF: pass (pb1.pair.com: domain ajf.me designates 192.64.116.207 as permitted sender) X-PHP-List-Original-Sender: ajf@ajf.me X-Host-Fingerprint: 192.64.116.207 imap2-2.ox.privateemail.com Received: from [192.64.116.207] ([192.64.116.207:35385] helo=imap2-2.ox.privateemail.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id 39/0B-59154-9CA68745 for ; Fri, 28 Nov 2014 07:30:02 -0500 Received: from localhost (localhost [127.0.0.1]) by mail.privateemail.com (Postfix) with ESMTP id EC9698C007B; Fri, 28 Nov 2014 07:29:57 -0500 (EST) X-Virus-Scanned: Debian amavisd-new at imap2.ox.privateemail.com Received: from mail.privateemail.com ([127.0.0.1]) by localhost (imap2.ox.privateemail.com [127.0.0.1]) (amavisd-new, port 10024) with LMTP id nfZGYB7adhiK; Fri, 28 Nov 2014 07:29:57 -0500 (EST) Received: from oa-res-27-210.wireless.abdn.ac.uk (oa-res-27-210.wireless.abdn.ac.uk [137.50.27.210]) (using TLSv1 with cipher ECDHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by mail.privateemail.com (Postfix) with ESMTPSA id E0CAF8C007D; Fri, 28 Nov 2014 07:29:56 -0500 (EST) Content-Type: text/plain; charset=utf-8 Mime-Version: 1.0 (Mac OS X Mail 8.1 \(1993\)) In-Reply-To: Date: Fri, 28 Nov 2014 12:29:54 +0000 Cc: Rowan Collins , Levi Morrison , PHP Internals Content-Transfer-Encoding: quoted-printable Message-ID: <70999A17-178F-4362-B310-2C3B4678FD20@ajf.me> References: <5477010E.4000000@gmail.com> <493B6453-6597-41CC-9409-52F999E19A32@ajf.me> To: Dmitry Stogov X-Mailer: Apple Mail (2.1993) Subject: Re: [PHP-DEV] [RFC][Discussion] Return Type Variance Checking From: ajf@ajf.me (Andrea Faulds) > On 28 Nov 2014, at 12:27, Dmitry Stogov wrote: >=20 > I didn't get what you mean. > parameters are invariant, "invariance, which is safe for both" and " = it shouldn't match parameters" are contradictory. Well, that=E2=80=99s why I said =E2=80=9Cthe exception is invariance=E2=80= =9D. -- Andrea Faulds http://ajf.me/