Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:109691
To: Nikita Popov <nikita.ppv@gmail.com>, Claude Pache <claude.pache@gmail.com>
CC: Nicolas Grekas <nicolas.grekas+php@gmail.com>, Gabriel Caruso
	<carusogabriel34@gmail.com>, PHP Internals <internals@lists.php.net>
Thread-Topic: [PHP-DEV] [RFC] [DISCUSSION] Ensure correct magic methods'
 signatures when typed
Thread-Index:
 AQHWC1LUQ7jtWjCdk0KyqjVCLCfY86htf5QAgAbsyYCAAA2FAIAEK1UAgAAEJoCAAAYmgIAAEvaAgAAUMgCAAA0zAIAADmYAgAEgPACAAfLVug==
Date: Thu, 16 Apr 2020 16:46:24 +0000
Message-ID:
 <DM6PR07MB66183F8C032ACF82F6E96E32F9D80@DM6PR07MB6618.namprd07.prod.outlook.com>
References:
 <CAP=4hC+9duSVcREvwOD3jZv+5fmqQzzR=UEraw4Yr6P+b+FfaQ@mail.gmail.com>
 <90F4B395-F010-4196-9C40-7896D4F3F2F4@gmail.com>
 <CAP=4hC+moKGF-XyGuaYEzc54tJb++5bUxCpF-8vXxsPS+NHuUw@mail.gmail.com>
 <CAP=4hCLH9PrkQxuF=m154jA2+d56eTXTfmtsCfjxOcBiR4pmsw@mail.gmail.com>
 <CAP=4hCLLY5THWuR1h-hiTQ4sW0Nb1Wv1+EYcSBhmaTYU6x7MOg@mail.gmail.com>
 <CAOWwgpmXfzDw4yWUEme_DtuiMitZf6vqYVm57F_nxYAAHPyORA@mail.gmail.com>
 <CAP=4hC+cxqXp-TLUUeRWg0q5=Bzi5dXMr_N7ypfVjTywP6zF1Q@mail.gmail.com>
 <CAOWwgpmK8Zzk4+LAnSFW0nTCR8qEaFG4AD_97zoDqvA7wh6kyA@mail.gmail.com>
 <0A374409-6FA6-4E02-A7E6-EACA3E42451C@gmail.com>
 <CAF+90c8wKkaT_2NdeHB0VOUmBnAEfaKsBDbaOEa1s8Z_arPyPA@mail.gmail.com>
 <436FD800-A316-4C99-8793-C6EF4BD15BE3@gmail.com>,<CAF+90c8uO2KcO8t=syX+4GMMda62K6gsfpW+FCC22VVNLv+_Jw@mail.gmail.com>
In-Reply-To:
 <CAF+90c8uO2KcO8t=syX+4GMMda62K6gsfpW+FCC22VVNLv+_Jw@mail.gmail.com>
Accept-Language: en-CA, en-US
Content-Language: en-CA
x-ms-exchange-messagesentrepresentingtype: 1
x-tmn: [JbSq12Oz2+xruFzoCI9RwghxkO96k/bYGXpJKvVEcgqDPqBLlgRwvKSYmymbWuKs]
x-ms-publictraffictype: Email
x-incomingheadercount: 46
x-eopattributedmessage: 0
x-ms-office365-filtering-correlation-id: f510562c-b217-4af6-d1e5-08d7e225b362
x-ms-traffictypediagnostic: CO1NAM11HT242:
x-microsoft-antispam: BCL:0;
x-microsoft-antispam-message-info:
 2BqqTKW5tm5+0FoX6xlDtwm7/yEX2tIp5eAkthwCPt4O/xbc76Bzdn3/+hJVuLWj1mxGcBnwQdjV4n2EDXF1c+h2XJw3e9ylR6ZRRALFIC7D71btPpmu2jNQ/aKSrcsuSHhvLW5/dmosI3+awJOlhg5ojetAwqpBMbLlzYiG7N90lHIL3WjORWcacwXPFVEB
x-forefront-antispam-report:
 CIP:255.255.255.255;CTRY:;LANG:en;SCL:0;SRV:;IPV:NLI;SFV:NSPM;H:DM6PR07MB6618.namprd07.prod.outlook.com;PTR:;CAT:NONE;SFTY:;SFS:;DIR:OUT;SFP:1901;
x-ms-exchange-antispam-messagedata:
 /1nBw9+z+0taiqCu3DTxwZ7C+J3k0Q4SIAo0YhM9NMx0Ecdy3UZHsDlj0jhsmPpwLKxYnSb0QMIaI6nEaPijVOTMXy3dVjeqYwl51UDdnczzZQX8lUdbMk77yf4BcdUCj6rM3MO/4Phf0JsR7H4hTxcbOHo4VUFHYEDAJNs7QYiOgF0QgXQJZNhFB8rtiVFrK1Q+DN2iiaviccX4Uvycqg==
x-ms-exchange-transport-forked: True
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-OriginatorOrg: hotmail.com
X-MS-Exchange-CrossTenant-RMS-PersistedConsumerOrg: 00000000-0000-0000-0000-000000000000
X-MS-Exchange-CrossTenant-Network-Message-Id: f510562c-b217-4af6-d1e5-08d7e225b362
X-MS-Exchange-CrossTenant-rms-persistedconsumerorg: 00000000-0000-0000-0000-000000000000
X-MS-Exchange-CrossTenant-originalarrivaltime: 16 Apr 2020 16:46:24.6290
 (UTC)
X-MS-Exchange-CrossTenant-fromentityheader: Internet
X-MS-Exchange-CrossTenant-id: 84df9e7f-e9f6-40af-b435-aaaaaaaaaaaa
X-MS-Exchange-Transport-CrossTenantHeadersStamped: CO1NAM11HT242
Subject: Re: [PHP-DEV] [RFC] [DISCUSSION] Ensure correct magic methods'
 signatures when typed
From: tysonandre775@hotmail.com (tyson andre)

> Ah, so that's what this is about! In that case, I'd be happy to simply=0A=
> always enforce that __construct() cannot return a value, in the same way =
we=0A=
> do for ": void" functions. (If we have backwards compatibility concerns, =
we=0A=
> can add this as a warning instead of hard error.)=0A=
=0A=
I'd approve of that. It'd also be useful to enforce that __construct and ot=
her magic methods aren't generators,=0A=
and that methods from traits renamed to __construct have the same restricti=
ons.=0A=
=0A=
```=0A=
php > class X{ public function __construct() { yield 2; }}=0A=
php > new X();  // nonsense=0A=
php > trait T1 { public function f() { echo "In f\n"; return 2; }}=0A=
php > class Z { use T1{ f as __construct; } }=0A=
php > new Z();=0A=
In f=0A=
```=0A=
=0A=
- Tyson=