Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:125946 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 876351A00BD for ; Tue, 12 Nov 2024 19:13:00 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=php.net; s=mail; t=1731438935; bh=KVc2x3i/Ug9LRxe4lqbRobwCDAyY6WZPYEQweUahEVw=; h=Date:Subject:To:References:From:In-Reply-To:From; b=FtIZPUINYe0141R9D8CFRC0ScOWbspAUrfeIA7uhtn6MzlI3cq/rhJEldDi7oaHoV Da9VY1XtgYhsHwIfPwqBKySwPizu07UQ+gfWvzwYm9RkHbmhDPOOMPBM+A5AS8W+mQ BZRBqGAn1zYVJ4Hjq7ba/uo8u6cT/06qeRcwj6bMnQtgpEBbITCNMPTveZWCYvtY4b mIu93bckQhqPuUuJ5oJgqZ/Jns/FP529+7v4SFdM9OrQm+FMUkW2A45EWk/D3+/Luh 3LYYjhuGLcOGUrRn7BieyvQMSxK8g7pkTV0WiY+cbHO+NS7Ar5KTFYC7v515RXLx7j kckCtYyTRFqkg== Received: from php-smtp4.php.net (localhost [127.0.0.1]) by php-smtp4.php.net (Postfix) with ESMTP id 11FE2180068 for ; Tue, 12 Nov 2024 19:15:35 +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,FREEMAIL_FROM, RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2, RCVD_IN_VALIDITY_CERTIFIED_BLOCKED,RCVD_IN_VALIDITY_RPBL_BLOCKED, RCVD_IN_VALIDITY_SAFE_BLOCKED,SPF_HELO_NONE,SPF_PASS autolearn=no autolearn_force=no version=4.0.0 X-Spam-Virus: No X-Envelope-From: Received: from mail-lf1-f44.google.com (mail-lf1-f44.google.com [209.85.167.44]) (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 ; Tue, 12 Nov 2024 19:15:34 +0000 (UTC) Received: by mail-lf1-f44.google.com with SMTP id 2adb3069b0e04-539d9fffea1so6056566e87.2 for ; Tue, 12 Nov 2024 11:12:58 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1731438777; x=1732043577; darn=lists.php.net; h=content-transfer-encoding:in-reply-to:from:content-language :references:to:subject:user-agent:mime-version:date:message-id:from :to:cc:subject:date:message-id:reply-to; bh=IM8rAzAeKi+fvrEBKQSNQ9MuwMiM0GsUs/0ytfH+uFw=; b=OFht1hGQtzh7ljVQxZ2Ng3An9xkf/aMHGNojSBynYka2inx9hEN7acI/h1LlYiJTRt xM9dRIOkgBS9LhgPzF/LJAqcOAJyK9X1AxsDVnh9OipqjPreUREZVqyAww9duX492xQ5 bEuCnmzjmMMwRFNehBPkKPnPcgFP2lK/Z5/A6J08L6j5UqYhy7ITV5XdAJb9nPucDG+c CV2T0JS6sTE0bpDkEbaJSMdT5CweUt2GEAdud/wdUgewyU5BExThbiFnroxKTdSVS5EP c+J0LlZofQseVapTuFaA2rur21EqZ5bQUJF4CxDVuqvv1Ef4zyW/u9h404CexqY5SWXC PzGw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1731438777; x=1732043577; h=content-transfer-encoding:in-reply-to:from:content-language :references:to:subject:user-agent:mime-version:date:message-id :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=IM8rAzAeKi+fvrEBKQSNQ9MuwMiM0GsUs/0ytfH+uFw=; b=rHj2yMiLa9gH7MszGjwATjmvgtTVb5zahyKF9CNmdzPnFOVp5xLGWCjCT0zRePCfVy e9ZwCjGpR9MH2arC0baQ7YVh5RurhdzO2kvTIwdBDN21xW4tLuq2Ug1rBSuEtjozF7XV sofnVxkY1QnMR8dLGOsZpK1WaDWgkcULYTFIMg5zQk/2jXYDNUMqnAXS76UMpSnioba6 7Czek+NL/Oi11mRjpxi1W9DkzOCQd6YbbfGjBMTcGVyPS8LpbNYk0Lvqd3ZMwi63nwyc egrMpU3LjuruVjXVq4lM18yhOq/EtqBqDfDI24QwOu0bedY4QW11rrnJwavPM/wj/s13 b+RQ== X-Gm-Message-State: AOJu0Yy+OwmsPDmnkKY6RKB6zQ6SurU1fzfzPLrr9YQEM5wZ9/c0zYUs 3npk+a88TkBCrjUudmMzeUkqnV80OGuXXO0Lv0RPAoksZw0iIrqWapzOwg== X-Google-Smtp-Source: AGHT+IG0OC8psoo/wrYXRHKAN/KcdzW/YWmAguVq3Gyjw8zKxps93IgehV4iWqjAUy2eEGFGXnqysA== X-Received: by 2002:a05:6512:10c4:b0:53a:1e5:572a with SMTP id 2adb3069b0e04-53d862c5865mr9265025e87.16.1731438777265; Tue, 12 Nov 2024 11:12:57 -0800 (PST) Received: from ?IPV6:2a02:1811:cd2f:3500:e093:fcad:4f6:e542? (ptr-du5vm7f5ekzptmf0fgi.18120a2.ip6.access.telenet.be. [2a02:1811:cd2f:3500:e093:fcad:4f6:e542]) by smtp.gmail.com with ESMTPSA id 5b1f17b1804b1-432b05673d0sm217349905e9.25.2024.11.12.11.12.56 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 12 Nov 2024 11:12:56 -0800 (PST) Message-ID: Date: Tue, 12 Nov 2024 20:13:40 +0100 Precedence: bulk list-help: list-post: List-Id: internals.lists.php.net x-ms-reactions: disallow MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: [PHP-DEV] Make Closure covariant to callable To: internals@lists.php.net References: Content-Language: en-US In-Reply-To: Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit From: dossche.niels@gmail.com (Niels Dossche) On 12/11/2024 14:53, Gina P. Banyard wrote: > Hello internals, > > Ondřej Mirtes (author of PHPStan) remarked to me in August that Closure is not a subtype of callable. > The implementation of this is quite straight forward and can be seen on GitHub. [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 Hi Gina Makes sense to me. Kind regards Niels