Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:103619 Return-Path: Delivered-To: mailing list internals@lists.php.net Received: (qmail 11049 invoked from network); 21 Dec 2018 10:58:34 -0000 Received: from unknown (HELO NAM02-SN1-obe.outbound.protection.outlook.com) (40.107.77.109) by pb1.pair.com with SMTP; 21 Dec 2018 10:58:34 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=RWSoftware.onmicrosoft.com; s=selector1-zend-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=FNRCkq5BWr1oe1ysKHP5WIpsrTRO8HE30pzk4+SCkQI=; b=XityryBL7r/0gHEdC9xskkJLmp7kDanBmyTAPCa6wjwBGRXh7ymIDnQ4STgQA+FT3i+4sJv0bvZVBn8vHNQ/cay1xXE5N7RuIgY2OQFsr4akPK0+btqk3kA/rUYr8fofcBuALbsfVTCKe/xXBv5SYeW3CW+LWWyyoCWPV92zb+Y= Received: from BY1PR02MB1260.namprd02.prod.outlook.com (10.162.109.14) by BY1PR02MB1257.namprd02.prod.outlook.com (10.162.109.11) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.1446.23; Fri, 21 Dec 2018 07:28:05 +0000 Received: from BY1PR02MB1260.namprd02.prod.outlook.com ([fe80::c4dc:13f7:8eed:ad32]) by BY1PR02MB1260.namprd02.prod.outlook.com ([fe80::c4dc:13f7:8eed:ad32%5]) with mapi id 15.20.1446.022; Fri, 21 Dec 2018 07:28:05 +0000 To: Levi Morrison CC: internals Thread-Topic: [PHP-DEV] [RFC][Vote] Covariant Returns and Contravariant Parameters Thread-Index: AQHUl/AqXVQDKTyJX0uvYhkVZIp9sqWHwGIygABrD7KAACiCAIAAeZEA Date: Fri, 21 Dec 2018 07:28:05 +0000 Message-ID: References: In-Reply-To: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-clientproxiedby: HE1P191CA0013.EURP191.PROD.OUTLOOK.COM (2603:10a6:3:cf::23) To BY1PR02MB1260.namprd02.prod.outlook.com (2a01:111:e400:5228::14) authentication-results: spf=none (sender IP is ) smtp.mailfrom=dmitry@zend.com; x-ms-exchange-messagesentrepresentingtype: 1 x-originating-ip: [212.232.72.197] x-ms-publictraffictype: Email x-microsoft-exchange-diagnostics: 1;BY1PR02MB1257;6:g5mfoJDe1bK+YhWeZz6doroZ1w+bdBW129ZWka9s679cvX6ZHVP7ijbSGI5zeClQ/95/VFI08YYGNaATPbQFVrwhDEIAVY3tM9SOiTIP77hjmX9Q1LuhP/8d6pL5qMp+mjyIfoKd+TgADYw0FTfXn3c7O4Wfyxd2hvaUMDkqOr6QjkJ10WyOVzwC9PPMITb6GzTYwu6MFFJ8dmhhEkqGDm3PfxvWf6tepaBsK7ncEzP02Tvwtvwo0DktRaidkxq9SWhofgkL5AWAM17jSY4emcbMznT4/AOYQZdwU8aLaHMChK0OREWkFqbljkQDoBcDKkV3HJQg5bVwO2gH5hKdQVpfLVo67wJoaqzVxQndPnNu56IZMmsJMDO7EJJjaJzpruLGqoT7SnrJqt4yGWQgTPAkfhJ4+Mz+aa3WWHI9Exf4fh+3SfCwbvJ6nJjmpby130pjYnQMLcW04QHj7rbO7Q==;5:1zURmIVzBucXITnZb2FQjt5Rd2ls2iCL7LwLmxxqEdxL75WkhPDbw5Fqhy4XSau68BML5FSQj6QRGyucLAhH7KUoLoWBCjy704qlmRov7l36NiWiAkaMw/JQDlSuq+StKfQOJCel4O/GIyQFMXoxlcpVbbm0rtReyufBSnGwMy0=;7:N52QP/b95sbXvr6ZfiNNSRSU4DUZlDk9zu+6URihdxBv9ZbTye+mSWjK8LB8ZN3XIA7NYz4jDlwaW28g4DNZVi+TCGuh26itMB3b0TnBqNd5Sqc8yobeNbaGKK2PL8zZjINCAHOAMd9TjJqD0+Jvbw== x-ms-office365-filtering-correlation-id: 665843c1-bf17-411c-3b2c-08d66715d882 x-microsoft-antispam: BCL:0;PCL:0;RULEID:(2390118)(7020095)(4652040)(8989299)(4534185)(4627221)(201703031133081)(201702281549075)(8990200)(5600074)(711020)(2017052603328)(7153060)(7193020);SRVR:BY1PR02MB1257; x-ms-traffictypediagnostic: BY1PR02MB1257: x-microsoft-antispam-prvs: x-ms-exchange-senderadcheck: 1 x-exchange-antispam-report-cfa-test: BCL:0;PCL:0;RULEID:(3230021)(999002)(5005026)(6040522)(2401047)(8121501046)(3002001)(10201501046)(3231475)(944501520)(52105112)(93006095)(93001095)(149066)(150057)(6041310)(20161123558120)(20161123564045)(20161123562045)(20161123560045)(201703131423095)(201702281528075)(20161123555045)(201703061421075)(201703061406153)(201708071742011)(7699051)(76991095);SRVR:BY1PR02MB1257;BCL:0;PCL:0;RULEID:;SRVR:BY1PR02MB1257; x-forefront-prvs: 0893636978 x-forefront-antispam-report: SFV:NSPM;SFS:(10019020)(39850400004)(396003)(376002)(136003)(366004)(346002)(199004)(189003)(31686004)(99286004)(81156014)(8676002)(229853002)(6916009)(105586002)(7736002)(106356001)(97736004)(5660300001)(446003)(486006)(11346002)(2616005)(476003)(305945005)(478600001)(6486002)(966005)(14444005)(256004)(14454004)(86362001)(25786009)(31696002)(6436002)(68736007)(36756003)(81166006)(71190400001)(71200400001)(6246003)(102836004)(316002)(386003)(6506007)(53546011)(66066001)(3846002)(6116002)(26005)(53936002)(186003)(93886005)(52116002)(8936002)(6306002)(6512007)(76176011)(4326008)(2906002);DIR:OUT;SFP:1102;SCL:1;SRVR:BY1PR02MB1257;H:BY1PR02MB1260.namprd02.prod.outlook.com;FPR:;SPF:None;LANG:en;PTR:InfoNoRecords;A:1;MX:1; received-spf: None (protection.outlook.com: zend.com does not designate permitted sender hosts) x-microsoft-antispam-message-info: BkNTiNu4QvzMNZdrBThw6fit4OELNEfYFq9kAE8R8MXkytd13A56P/9KpmKvSWZycfSK+YMdf99TgW1hKH1mfV2wp5HZSPXG4bqMBCdnJpVtENLIJmXS2fdr+UEOsyazj0hFHzKRUeQ9y0n44O7FVv2iogPpxPb5k7Ap0nDZXqxMItJQNcY6f5mhxXNhft6oaZZ5TPJ+0zIMQjqU46dIn0VoS6eqoQnl0WpaP5mW37Op6kNKwiv3ZG26PR562QVgPZusyvb/Jfdfu2zrRNUS8gqU7SjNCkJBFZwCIpw8eN8xWLXxC3jtqx4/ADTar8o/ spamdiagnosticoutput: 1:99 spamdiagnosticmetadata: NSPM Content-Type: text/plain; charset="utf-8" Content-ID: Content-Transfer-Encoding: base64 MIME-Version: 1.0 X-OriginatorOrg: zend.com X-MS-Exchange-CrossTenant-Network-Message-Id: 665843c1-bf17-411c-3b2c-08d66715d882 X-MS-Exchange-CrossTenant-originalarrivaltime: 21 Dec 2018 07:28:05.1488 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 32210298-c08b-4829-8097-6b12c025a892 X-MS-Exchange-Transport-CrossTenantHeadersStamped: BY1PR02MB1257 Subject: Re: [PHP-DEV] [RFC][Vote] Covariant Returns and Contravariant Parameters From: dmitry@zend.com (Dmitry Stogov) DQoNCk9uIDEyLzIxLzE4IDM6MTIgQU0sIExldmkgTW9ycmlzb24gd3JvdGU6DQo+IE9uIFRodSwg RGVjIDIwLCAyMDE4IGF0IDM6MzUgUE0gRG1pdHJ5IFN0b2dvdiA8ZG1pdHJ5QHplbmQuY29tPiB3 cm90ZToNCj4+DQo+PiBIaSBMZXZpLA0KPj4NCj4+DQo+PiBJdCBsb29rcyBsaWtlIHRoZSBwYXRj aCBicm9rZSBzb21ldGhpbmcgcmVsYXRlZCB0byBvcGNhY2hlLg0KPj4NCj4+IEl0IGNyYXNoZXMg YXQgbGVhc3Qgb24gV29yZHByZXNzIGFuZCBEcnVwYWwuDQo+Pg0KPj4gVGhlIGJhY2t0cmFjZSBo dHRwczovL2dpc3QuZ2l0aHViLmNvbS9kc3RvZ292L2EyMzA1MzgxYTVjOTk4MmNjZWNhOWU0ZTI1 MmQyNmM3IHNob3dzIHVzZS1hZnRlci1mcmVlIGluIG9wY2FjaGUgKHdvcmtzIGZpbmUgd2l0aCBt YXN0ZXIpLg0KPj4NCj4+IEluYWJpbGl0eSB0byB3b3JrIHdpdGggb3BjYWNoZSwgZG9lc24ndCBh bGxvdyB0byBjaGVjayB0aGUgcGVyZm9ybWFuY2UgaW1wYWN0Lg0KPj4NCj4+DQo+PiBJdCBhbHNv IGJyb2tlIGZldyB0ZXN0cy4gU29tZSBjcmFzaC4gU29tZSBwcm9kdWNlIGRpZmZlcmVudCB3YXJu aW5nL2Vycm9ycy4NCj4+DQo+Pg0KPj4gJCBtYWtlIHRlc3QgVEVTVFM9IlplbmQgdGVzdHMiDQo+ Pg0KPj4gLi4uDQo+Pg0KPj4gPT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09DQo+PiBGQUlMRUQgVEVTVCBTVU1NQVJZDQo+ PiAtLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0NCj4+IFpFMiBBcnJheUFjY2VzcyBhbmQgQXJyYXlBY2Nlc3NSZWZlcmVu Y2VQcm94eSB3aXRoIHJlZmVyZW5jZXMgdG8gbWFpbiBhcnJheSBbdGVzdHMvY2xhc3Nlcy9hcnJh eV9hY2Nlc3NfMDExLnBocHRdDQo+PiBCdWcgIzIxNDc4IChaZW5kL3plbmRfYWxsb2MuYyA6OiBz aHV0ZG93bl9tZW1vcnlfbWFuYWdlciBwcm9kdWNlcyBzZWdmYXVsdCkgW1plbmQvdGVzdHMvYnVn MjE0NzgucGhwdF0NCj4+IEdlbmVyYXRvciBtZXRob2RzIGNhbiB5aWVsZCBieSByZWZlcmVuY2Ug W1plbmQvdGVzdHMvZ2VuZXJhdG9ycy9nZW5lcmF0b3JfbWV0aG9kX2J5X3JlZi5waHB0XQ0KPj4g VGVzdGluZyB0byBpbXBsZW1lbnQgU2VyaWFsaXphYmxlIGludGVyZmFjZSBieSB0cmFpdHMgW1pl bmQvdGVzdHMvdHJhaXRzL2ludGVyZmFjZV8wMDMucGhwdF0NCj4+IEhhbmRsaW5nIG9mIHB1Ymxp YyBmaWVsZHMgd2l0aCB0cmFpdHMgbmVlZHMgdG8gaGF2ZSBzYW1lIHNlbWFudGljcyBhcyB3aXRo IG5vcm1hbCBpbmhlcml0YW5jZSwgaG93ZXZlciwgd2UgZG8gYWRkIHN0cmljdCB3YXJuaW5ncyBz aW5jZSBpdCBpcyBlYXNpZXIgdG8gcnVuIGludG8gc29tZXRoaW5nIHVuZXhwZXRlZCB3aXRoIGNo YW5naW5nIHRyYWl0cy4gW1plbmQvdGVzdHMvdHJhaXRzL3Byb3BlcnR5MDA5LnBocHRdDQo+PiBp dGVyYWJsZSB0eXBlIzAwNCAtIFBhcmFtZXRlciBjb3ZhcmlhbmNlIFtaZW5kL3Rlc3RzL3R5cGVf ZGVjbGFyYXRpb25zL2l0ZXJhYmxlXzAwNC5waHB0XQ0KPj4gaXRlcmFibGUgdHlwZSMwMDUgLSBS ZXR1cm4gdHlwZSBjb3ZhcmlhbmNlIFtaZW5kL3Rlc3RzL3R5cGVfZGVjbGFyYXRpb25zL2l0ZXJh YmxlXzAwNS5waHB0XQ0KPj4gPT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09DQo+Pg0KPj4gSSdsbCB0cnkgdG8gcGxheSB3 aXRoIHBhdGNoIGFuZCBtYWtlIGEgZnVsbCBjb2RlIHJldmlldyBvbiBuZXh0IHdlZWsuDQo+Pg0K Pj4NCj4+IEl0IHdvdWxkIGJlIGdyZWF0LCBpZiB5b3UgZml4IG9wY2FjaGUgY29tcGF0aWJpbGl0 eS4NCj4+DQo+PiBJZiBpdCBjYW4ndCBiZSBkb25lIGluIHJlYXNvbmFibGUgdGltZSwgaXQncyBw cm9iYWJseSBiZXR0ZXIgdG8gY2FuY2VsIHZvdGluZyBhbmQgcmVzdGFydCB3aGVuIHJlYWR5Lg0K PiANCj4gV2hhdCBPUyBhbmQgY29tcGlsZXIgYXJlIHRoZXNlIG9uPw0KDQpMaW51eCAoRmVkb3Jh IDI4KSwgR0NDIDguMi4xLg0KDQo+IEhvdyBhcmUgeW91IGVuc3VyaW5nIHRoYXQgb3BjYWNoZQ0K PiBpcyBvbiB3aGVuIHRoZXNlIHRlc3RzIGFyZSBydW4/IEkgaGF2ZSBub3QgYmVlbiBleHBlcmll bmNpbmcgdGhlc2UNCj4gaXNzdWVzLCBzbyBtYXliZSBJIGFtIG5vdCBydW5uaW5nIGl0IGNvcnJl Y3RseS4gSWYgSSBjYW5ub3QgcmVwcm9kdWNlDQo+IHRoZW0gc29vbiB0aGVuIEkgd2lsbCBhZ3Jl ZSB0byBjYW5jZWwgdGhlIHZvdGluZy4NCg0KWW91IHNob3VsZCBlbmFibGUgb3BjYWNoZSBpbiB5 b3VyIHBocC5pbmkNCg0KemVuZF9leHRlbnNpb249b3BjYWNoZS5zbw0Kb3BjYWNoZS5lbmFibGU9 MQ0Kb3BjYWNoZS5lbmFibGVfY2xpPTENCm9wY2FjaGUub3B0aW1pemF0aW9uX2xldmVsPS0xDQpv cGNhY2hlLnByb3RlY3RfbWVtb3J5PTEgOyB0aGlzIGlzIGZvciB0ZXN0aW5nIG9ubHkNCg0KDQpN ZW1vcnkgY29ycnVwdGlvbiBidWdzIG1heSBsZWFkIHRvIGNyYXNoIG9yIG5vdCBiZWNhdXNlIG9m ICJsdWNrIiwgYnV0IA0KaXQncyBwb3NzaWJsZSB0byBzZWUgdGhlbSB1c2luZyB2YWxncmluZC4N Cg0KJCBtYWtlIHRlc3QgVEVTVFM9Ii1tIHRlc3RzL2NsYXNzZXMvYXJyYXlfYWNjZXNzXzAxMS5w aHB0Ig0KJCBjYXQgdGVzdHMvY2xhc3Nlcy9hcnJheV9hY2Nlc3NfMDExLm1lbQ0KDQpUaGlzIHNo b3dzIGFsbW9zdCB0aGUgc2FtZSBiYWNrdHJhY2UsIGFzIEkgYWxyZWFkeSBwdWJsaXNoZWQuDQpM b29rcyBsaWtlIGFuIGluY29ycmVjdCByZWZlcmVuY2UtY291bnRpbmcgb24gc29tZSBzdHJpbmcu DQoNCj4gDQo+IFRoZXJlIGFyZSBzb21lIGtub3duIGlzc3VlcyBvdXRzaWRlIG9mIFplbmQuIE5v dGFibHkgc29tZSBpbnRlcm5hbA0KPiBjbGFzc2VzIGRvIG5vdCBoYXZlIHZhbGlkIG1ldGhvZCBz aWduYXR1cmVzIHdpdGggcmVnYXJkcyB0bw0KPiBpbmhlcml0YW5jZSB3aGljaCB0aGlzIHBhdGNo IGV4cG9zZWQuIFRoZXNlIG5lZWQgZml4ZWQgcmVnYXJkbGVzcyBvZg0KPiB0aGlzIFJGQyBhbmQg SSBoYXZlIGJlZ3VuIHdvcmsgb24gc29tZSBvZiB0aGVtIChzZWUNCj4gaHR0cHM6Ly9naXRodWIu Y29tL3BocC9waHAtc3JjL3B1bGwvMzY4NiBmb3Igb25lIGV4YW1wbGUpLg0KDQpUaGF0IFBSIGxv b2tzIGZpbmUuDQoNClRoZXJlIGlzIGFsc28gYSBwcm9ibGVtIHRoYXQgdGhpcyBQUiBoYXMgbWVy Z2UgY29uZmxpY3Qgd2l0aCBtYXN0ZXIgYW5kIA0KdHJhdmlzIGRvZXNuJ3QgcnVuIHRlc3RzLg0K DQpUaGFua3MuIERtaXRyeS4NCg==