Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:125943
X-Original-To: internals@lists.php.net
Delivered-To: internals@lists.php.net
Received: from php-smtp4.php.net (php-smtp4.php.net [45.112.84.5])
	by qa.php.net (Postfix) with ESMTPS id BA92F1A00BD
	for <internals@lists.php.net>; Tue, 12 Nov 2024 13:53:46 +0000 (UTC)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=php.net; s=mail;
	t=1731419781; bh=OKht30JJPIlkefJTxMf9M6yrVoxxkETUGthiSZ0CXNc=;
	h=Date:To:From:Subject:From;
	b=O7kqwvE02vw7FKajO9Do4V2vrpUPAziln47X77SHwBZhXoOGo2rWOYhsqTsetHSm6
	 XavPlHtWUBjiEULktVMEtC8VkVzfK5dfRU6BJvQ72tu2HPr8F1yoCurRqMaVdgpR5A
	 HE3OLS7KpqCXNGTeSBSUSHQMsGsOtr+TpkzquHUdA6laZPMwMgjNgWbElN34z5BcBW
	 R1se+Ih5roJ+vvNrb124qX43JEyjc8Nr/faFTldzehCFm27dKjxpi3qXpRrJI26IgL
	 /1VwkHluKtyJjkMIcq21LHyS8QI5WSj18MHX2+AfaXaS6XHLxVai2hj5GJYiJrIQ4j
	 /s29fz7EbGiOg==
Received: from php-smtp4.php.net (localhost [127.0.0.1])
	by php-smtp4.php.net (Postfix) with ESMTP id 1971E18004B
	for <internals@lists.php.net>; Tue, 12 Nov 2024 13:56:20 +0000 (UTC)
X-Spam-Checker-Version: SpamAssassin 4.0.0 (2022-12-13) on php-smtp4.php.net
X-Spam-Level: 
X-Spam-Status: No, score=0.6 required=5.0 tests=BAYES_50,DKIM_SIGNED,
	DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,DMARC_PASS,RCVD_IN_DNSWL_NONE,
	RCVD_IN_MSPIKE_H4,RCVD_IN_MSPIKE_WL,RCVD_IN_VALIDITY_CERTIFIED_BLOCKED,
	RCVD_IN_VALIDITY_RPBL_BLOCKED,RCVD_IN_VALIDITY_SAFE_BLOCKED,
	SPF_HELO_PASS,SPF_PASS autolearn=no autolearn_force=no version=4.0.0
X-Spam-Virus: No
X-Envelope-From: <internals@gpb.moe>
Received: from mail-4022.proton.ch (mail-4022.proton.ch [185.70.40.22])
	(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)
	 key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256)
	(No client certificate requested)
	by php-smtp4.php.net (Postfix) with ESMTPS
	for <internals@lists.php.net>; Tue, 12 Nov 2024 13:56:19 +0000 (UTC)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gpb.moe;
	s=protonmail2; t=1731419621; x=1731678821;
	bh=OKht30JJPIlkefJTxMf9M6yrVoxxkETUGthiSZ0CXNc=;
	h=Date:To:From:Subject:Message-ID:Feedback-ID:From:To:Cc:Date:
	 Subject:Reply-To:Feedback-ID:Message-ID:BIMI-Selector:
	 List-Unsubscribe:List-Unsubscribe-Post;
	b=jRtXDbqVgKgej4QvnTKXLtnvHQLnHfHvnIOcs94ht2yLXE3GlX21lDIRVArgVhbZ9
	 d+2GjmEiseRnzoRNXLMjdQiWhjSfuwm+XCtv4AVPrEqWYIQWi22cJt0GXaIcZfO1iK
	 FO6MQN/36hVEi3e0XAAwgIfkRfuN2g1n8QJKZE5MdAL3Fy1E/0zV6TnYyY0irgmlMz
	 kLSES5DXq7nCdc9/pxInMHE0M0p14/bThIDTBVSGLS8qzS3GvBlzILVKpoHyEQDwNu
	 CLM4rJoyRBqQ3aAhqT0C0GtlWXcvpBZGE0HTWVpxaZwDp/8cRemEXHTdawh2OxJwNs
	 gt3n73IWFrIEQ==
Date: Tue, 12 Nov 2024 13:53:36 +0000
To: PHP internals <internals@lists.php.net>
Subject: [PHP-DEV] Make Closure covariant to callable
Message-ID: <eA2u_Q4Tx5JeWD3_afszKmrPzzJq19VZ9tNjUktkftqvm6MtNpYOjmoRx4UfEqge4hfqmPn3CepKezqEPpdRBi8xhFWucCNjl6ffqgGPtbc=@gpb.moe>
Feedback-ID: 96993444:user:proton
X-Pm-Message-ID: 820cc9b8b8f7280cc7a5da04d3d578f89d8ca4b6
Precedence: bulk
list-help: <mailto:internals+help@lists.php.net
list-unsubscribe: <mailto:internals+unsubscribe@lists.php.net>
list-post: <mailto:internals@lists.php.net>
List-Id: internals.lists.php.net
x-ms-reactions: disallow
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
From: internals@gpb.moe ("Gina P. Banyard")

Hello internals,

Ond=C5=99ej Mirtes (author of PHPStan) remarked to me in August that Closur=
e is not a subtype of callable.
The implementation of this is quite straight forward and can be seen on Git=
Hub. [1]
The question is if there are any concern or not and if this requires an RFC=
 or can just be merged as is.

Best regards,

Gina P. Banyard

[1] https://github.com/php/php-src/pull/15492