Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:98000 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 32926 invoked from network); 28 Jan 2017 09:18:47 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 28 Jan 2017 09:18:47 -0000 Authentication-Results: pb1.pair.com smtp.mail=netmo.php@gmail.com; spf=pass; sender-id=pass Authentication-Results: pb1.pair.com header.from=netmo.php@gmail.com; sender-id=pass Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.161.182 as permitted sender) X-PHP-List-Original-Sender: netmo.php@gmail.com X-Host-Fingerprint: 209.85.161.182 mail-yw0-f182.google.com Received: from [209.85.161.182] ([209.85.161.182:35693] helo=mail-yw0-f182.google.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id D0/8E-28703-6F16C885 for ; Sat, 28 Jan 2017 04:18:46 -0500 Received: by mail-yw0-f182.google.com with SMTP id l19so205343701ywc.2 for ; Sat, 28 Jan 2017 01:18:46 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=Z7GyhxuevFE9Dj3GEXkv8NwkURQEKLolwHLZbJIFLVM=; b=qhgR7gamrBJLgtvOrVb+BcxuU3pb8EG6Anihw7JwfaCbxY/6he6nQilxBwRcmtFARN K3b86Zyel4Ig8vPccFCI7S0HwNCfrlHeMuZAnPYS1xNgqCoJxHc22fyTTnO8lQnp6IEV ARfinS5c6GWIpxpb6Eb9/UpV4LJXjTst1XZJAkfwq9C19H7oK+Qvyje6NNZeEENRabZS /AQGoCgfXF4WSMA362SHLUDf+Ii8Cl4GpFrpxtpdQTPG0jad2xD5+m/ya0MozRgOOpIQ 99qsbNHu0tIN05/kZOcTZ0mJNcxH1Ty54rJmwDx5x9NVb6fobJ6gv+8ZJcSf1Yfhevyc DWAA== 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=Z7GyhxuevFE9Dj3GEXkv8NwkURQEKLolwHLZbJIFLVM=; b=AAmmjg/WWYEYniy+f2RLNo+4yBZp59Jk9w766mylCryEEwFF2oTN142mLXUjDWbS4T Py0CPcRG6QvdusfCvscDiOVh3z/nb0/oTimjYLPvrAZDERLFr18xequJ/fS9b6+BxPJq oHkjlBfuF0cy8Js8LS+yk34hHC2JJEH+Er9ViDd2CC+ZLXK2D8WH9LJ6i2ckGGlMi8Vu Pl67jQbWbpTjJuSt8LKzjnWJ726B+17+k8LcBm7jkoR8KWiSdlzDvdSDy3BP2GbdpTkl Cz+wwazQoxSiPpNip+/yq8fEZNYGLzYXgUTAKzyXyLTv+lGN6YseGhm5O+DtUyeIGSQf K20g== X-Gm-Message-State: AIkVDXLDQu1rckKmnOz2mOGHVbUggiWd8H+ksdCaCnzJgwVSdcO1ixHYAAYLmkX4C8jYajCo2FnlzpS4nhGvrg== X-Received: by 10.129.50.4 with SMTP id y4mr8073906ywy.168.1485595123221; Sat, 28 Jan 2017 01:18:43 -0800 (PST) MIME-Version: 1.0 Received: by 10.129.128.71 with HTTP; Sat, 28 Jan 2017 01:18:42 -0800 (PST) In-Reply-To: <503add40-506e-f8e9-8a4f-59cecc429018@mabe.berlin> References: <503add40-506e-f8e9-8a4f-59cecc429018@mabe.berlin> Date: Sat, 28 Jan 2017 10:18:42 +0100 Message-ID: To: Marc Bennewitz Cc: "internals@lists.php.net" Content-Type: multipart/alternative; boundary=001a1142605299972005472411b1 Subject: Re: [PHP-DEV] Allow "static" type From: netmo.php@gmail.com (Wes) --001a1142605299972005472411b1 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Hi=E2=80=8B, static could be definitely a valid return type, but I don't se= e this happening for parameters, for the same reasons this is disallowed: class A{ function bar(A $a){} } class B extends A{ function bar(B $b){} } // must be contravariant, but B is covariant to A However again, it works as return type: class A{ function bar(): A{} } class B extends A{ function bar(): B{} } // must be covariant, and B is covariant to A --001a1142605299972005472411b1--