Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:127535 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 lists.php.net (Postfix) with ESMTPS id 846531A00BC for ; Mon, 2 Jun 2025 16:28:01 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=php.net; s=mail; t=1748881556; bh=tK3fjGUsZnlzNBFiYBWo8arOgLhtRMyjO4jWlpdTkhQ=; h=Date:To:From:Subject:From; b=TLjb5URdD9DmOisNqFZ9zY46NTToeUallgj/DxPz2HBSNOKx2rjzUyauwZOQeNzaX MSObbk7lJkq1U/Vt2IHv5SpbDmIVfrvPfq5/gVsj6yWbiayGJyICcIpOHVg9Qq96HZ 1lT0IYOix1GMgWyRNEVH08ZNaBAFQuBHxKqPxH/IHGSfUtHj8ktIof8YcU8S3OhzmC mlvjUMzBLOGIuuSXsMpCsvbmHLaINrdlmMNUNvQQ29nz3HTf0TDq9td4xYLzMTxR+n Oy5IuTHaXdPEzdOTjWDxxN/bU6UQxYVxlxgWIAGjioiA+PG2PYjCkLHJHnyy4Eo75n pwfBFCt60gsEA== Received: from php-smtp4.php.net (localhost [127.0.0.1]) by php-smtp4.php.net (Postfix) with ESMTP id ED3CB18005D for ; Mon, 2 Jun 2025 16:25:55 +0000 (UTC) X-Spam-Checker-Version: SpamAssassin 4.0.1 (2024-03-25) 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, SPF_HELO_PASS,SPF_PASS autolearn=no autolearn_force=no version=4.0.1 X-Spam-Virus: Error (Cannot connect to unix socket '/var/run/clamav/clamd.ctl': connect: Connection refused) X-Envelope-From: Received: from mail-10626.protonmail.ch (mail-10626.protonmail.ch [79.135.106.26]) (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 ; Mon, 2 Jun 2025 16:25:55 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gpb.moe; s=protonmail3; t=1748881678; x=1749140878; bh=tK3fjGUsZnlzNBFiYBWo8arOgLhtRMyjO4jWlpdTkhQ=; 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=KT8BJsCyf27DX38LVNxqBwAJS4tt3LUQntzvHiEJ+DEsGp5nJsjdLliakueRuzBje 0DPhkKnEgem0IUjjMRvG86x3Ffpnn7e3xIyKkhDX8V++rSZvJuZBGvn+hO4o0Bcdh2 UB9yKoIMbx+YYT+sK8T1/28Vo7IENe+OE6pGW7yPOH8F1Oy4pwh8LjVvZriS2JOOVA lccOtpyiaU+65uzkPCnK/7K1HVgFwL+7ELkVTfQhu+no4pKjPkBXjBRuMbeAP5NtPT BCkQskNIGF6AdrBrapI4K8cwBpm9cyz62j84XAo400I2Uvkq5XvM3aqMP/TNWw0xSm 7X0Zp28Y6vY2w== Date: Mon, 02 Jun 2025 16:27:51 +0000 To: PHP internals Subject: [PHP-DEV] [RFC] Transform void into an alias for null Message-ID: <6Z2Ysh6MjYp1nyzuB0bTPJc5srObIcMRqt731JaQeXUJk1f_V_Yo2nRn8WvjI7er7pp7pIUE6WYl5pRwvYrtcrd07nCutyAqKPSsZHmrS-Y=@gpb.moe> Feedback-ID: 96993444:user:proton X-Pm-Message-ID: 9583fc2a8ff3b0de7dc7ef67eeef213439662693 Precedence: bulk list-help: list-post: 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, This is the second RFC out of a set of type system related RFCs I want to p= ropose for PHP 8.5. The objective is to fix a weird quirk of PHP's type system, where void live= s in its own type hierarchy. This is visible mainly in that a lack of return type is not isomorphic to a= function that has a return type of mixed. Let me know what you think about it. RFC: https://wiki.php.net/rfc/void-as-null Best regards, Gina P. Banyard