Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:125949 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 5B63E1A00BD for ; Wed, 13 Nov 2024 00:46:33 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=php.net; s=mail; t=1731458948; bh=4yl0kd85dStbgFrFiMvHLhj87HcXP52TpMDQnnrnrNQ=; h=References:In-Reply-To:From:Date:Subject:To:Cc:From; b=iGJIFaWyIiJebEthZjZZr0k5IZHghEQe5Yr2oQvoQ9vhCZBm/+Cf5Y7FTYeW6QmLV 0syBBb3m3PsOMckG6H7mzs3vO9p8fWlCLe4Y6ntpTyWGhgcB55gPwDUVB6wAMqqRG0 4RI6ZTfJRpRLh1GOThEyVp50kVpR5ziR0DJTnL0BSLth+jnZroMORvmUglqrOouJV8 COLyXJ2WibEqRwytYYBEnTshyXtC5YjdT5AD8M+JViTcygvEhs/5fQxOP6tKXOS01v rEClSd1852ib3sK7XqtrbHYxH1q9VNJwb1COQqAqzQbLieHwZ3hC8lPc7Tm+cdHFDQ AwnGnpoXqieIA== Received: from php-smtp4.php.net (localhost [127.0.0.1]) by php-smtp4.php.net (Postfix) with ESMTP id A9A51180069 for ; Wed, 13 Nov 2024 00:49:04 +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_H2,RCVD_IN_VALIDITY_CERTIFIED_BLOCKED, RCVD_IN_VALIDITY_RPBL_BLOCKED,RCVD_IN_VALIDITY_SAFE_BLOCKED, SPF_HELO_NONE,T_SPF_TEMPERROR autolearn=no autolearn_force=no version=4.0.0 X-Spam-Virus: No X-Envelope-From: Received: from mail-wr1-f50.google.com (mail-wr1-f50.google.com [209.85.221.50]) (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 ; Wed, 13 Nov 2024 00:49:04 +0000 (UTC) Received: by mail-wr1-f50.google.com with SMTP id ffacd0b85a97d-37f52925fc8so4128489f8f.1 for ; Tue, 12 Nov 2024 16:46:28 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=datadoghq.com; s=google; t=1731458787; x=1732063587; darn=lists.php.net; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=4yl0kd85dStbgFrFiMvHLhj87HcXP52TpMDQnnrnrNQ=; b=ZGhUccAEdz17vp9IDf8/G7FWTl6DoioC38fh3BX5ynRcAXywcgzYW39L7iK6FschHk PlX+FVhGMBCdxWCm42jOW1UdA3IlmgmRliM+nFQaodz7GjHgETWMZzPlW82NUuMTWTgz OR4nMrYsUGDixFrvi1+TeysYU8eLsGPeQ2y3k= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1731458787; x=1732063587; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=4yl0kd85dStbgFrFiMvHLhj87HcXP52TpMDQnnrnrNQ=; b=iz1hx4eXK7Fr/MPbyBTlwBZLNLpOsYsFK9lYqPe+MzXvlZ6vurIgjdJSSD0FZ7++8q KJlESzg43wIrr3AWhWZ1UePNUomM+9ob9poKQu5+ljc2wpGwNY2s9uv6XJMSWIQBHpp8 +Fdno3gQ2wENb2MAq/lRjeAgisD65dWxaWEJc/uidYz9g+nITWXenkdJ3vIaG6ev70RH 0HjowTuzyM7zZzJ2Z4zsT5TAFoO2jJCJ3v19E+H4qkxmVb3i7AlE9Tu4fgW4GxPgoW+D 7AqrxglTm3vI7WqmjeyOAltMw3yBB0wi6KVXQxTKtGX9FEbpEF5GWQVrZObpJVSfoc+d FwRg== X-Forwarded-Encrypted: i=1; AJvYcCV0kC++CT0GMai6Yyih6f+0k2n4uTaX+ERLG7ptuxKzYZWgDeqHGgZKJipFtX8Zl6qIHEOXFHd5JTA=@lists.php.net X-Gm-Message-State: AOJu0YyVPe31ishkVrQGpZQW4vNZlGXCZsme5OkKS/SuSdT6uBA9QCsP 5hJpNX6B4MhAYdzZzHheeJ0q4xzQtHhizAobJSjXC+d52E1pZ1uUcT3L+rWuGmxWC28kbr2KVjt tBwsH7DJ2vHbMjeI7NVDViY1tZb+M9yhb/CI+vA== X-Google-Smtp-Source: AGHT+IHR3Y/9ytD/ioUUmodZqhAPjun8SbeC+9+c7AmOjnxWq3YqBv0UgWq4aj0pVnTSRhg+JLaMpJR7aCE3qSpeyW0= X-Received: by 2002:a05:6000:1885:b0:381:df72:8678 with SMTP id ffacd0b85a97d-381f1866aa7mr16057280f8f.16.1731458787237; Tue, 12 Nov 2024 16:46:27 -0800 (PST) Precedence: bulk list-help: list-post: List-Id: internals.lists.php.net x-ms-reactions: disallow MIME-Version: 1.0 References: <461FD462-72A8-42D4-B6A2-CA10AC5CA395@gmail.com> In-Reply-To: Date: Tue, 12 Nov 2024 17:46:16 -0700 Message-ID: Subject: Re: [PHP-DEV] Make Closure covariant to callable To: "Gina P. Banyard" Cc: Claude Pache , PHP internals Content-Type: text/plain; charset="UTF-8" From: levi.morrison@datadoghq.com (Levi Morrison) There are some weird cases with `callable` which is why they aren't allowed as a property type. I don't remember all the edges, but if we are sure that we cannot hit those with simple co-/contra-variance, then I don't think this needs an RFC and we can just merge the PR.