Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:126311 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 B73451A00BC for ; Thu, 6 Feb 2025 18:53:27 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=php.net; s=mail; t=1738867842; bh=AnuDelYLQiepqKbMZbhmcXX2X9d6IuXU9euU2QYu+nk=; h=Date:Subject:To:References:From:In-Reply-To:From; b=bwdhlAB7kcLP7MF5bZ6pXd0sWqRAi2zYSkaEYnPZ6fK7nus7uDsTMJ77PF1kV0m/E JHgRleF1z/ix48nu2kybT9/41lNR8I2ik2c+3fxg5l2KSaCnGq20CjF46dDO3IG4WR 7MhB24RrKLCVyVhQbtHlyDGjjQGaR1CBhkwMZC5TEgkNKUfx+0IG4aMHWwKKwXUHYk P8XLURJXO4sn+xSRkqVv4VMg/CQtAb+xR99ZV/A3aEvnhsmMHuKKxfrzY/LIsypkVs 6GW9L0+Fgiv78nxBwoPE/yBj3jl3Z8N1w/HtgyNAiU0O8KqphMMHJ6kX4ZhguDVwWB N3AaZiThBxLtA== Received: from php-smtp4.php.net (localhost [127.0.0.1]) by php-smtp4.php.net (Postfix) with ESMTP id B5B1918007F for ; Thu, 6 Feb 2025 18:50:41 +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.2 required=5.0 tests=BAYES_50,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,DMARC_PASS, FREEMAIL_ENVFROM_END_DIGIT,FREEMAIL_FROM,RCVD_IN_DNSWL_LOW, RCVD_IN_MSPIKE_H3,RCVD_IN_MSPIKE_WL,SPF_HELO_NONE,SPF_PASS autolearn=no autolearn_force=no version=4.0.0 X-Spam-Virus: No X-Envelope-From: Received: from mout.gmx.net (mout.gmx.net [212.227.17.22]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (prime256v1) server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by php-smtp4.php.net (Postfix) with ESMTPS for ; Thu, 6 Feb 2025 18:50:40 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmx.de; s=s31663417; t=1738868003; x=1739472803; i=cmbecker69@gmx.de; bh=ubUumgFGBwdrzG+3R0D57xqz83WidzhkDq9NyaFxHOo=; h=X-UI-Sender-Class:Message-ID:Date:MIME-Version:Subject:To: References:From:In-Reply-To:Content-Type: Content-Transfer-Encoding:cc:content-transfer-encoding: content-type:date:from:message-id:mime-version:reply-to:subject: to; b=CaO82AENkbF//iMgzwwi3YymWbxnrNb4vhcrM2RoeIIqH4TQz7RSFOIoyfifgWAd ZtxB+51/C6ZSKfAo5GFVLmQFVKChh7Q9Z2IaNavEnW1wu0eh3kBq1Oqyo8WDEZt9K TMmGaO/aci0cm6i3KF2D/ispUhPha1s+T6YpKgv0eyZOz82yqgucHoYf+tOm8jLCI ssHKMELz8AVT4zQ32VYBWPk6U3xBtIEVcgY3CudFhzRI2SButkPT49iIlwHFmcFQ2 FdBg56DwFuQrOrbBkzNjcVO88GzCRx12f5MQfzZzkE8H1TMlu0lb+IvQ2VPfTEqA0 EYAxWHBJyJPPc0aj5g== X-UI-Sender-Class: 724b4f7f-cbec-4199-ad4e-598c01a50d3a Received: from [192.168.2.130] ([79.251.201.250]) by mail.gmx.net (mrgmx105 [212.227.17.168]) with ESMTPSA (Nemesis) id 1MulmF-1tOzp22vj9-014w9Q; Thu, 06 Feb 2025 19:53:23 +0100 Message-ID: <909354d9-a43c-4c24-9965-88bfcc591608@gmx.de> Date: Thu, 6 Feb 2025 19:53:22 +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] RFC: Not Null Assertion Operator Content-Language: de-DE To: Ilija Tovilo , PHP internals References: In-Reply-To: Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit X-Provags-ID: V03:K1:2/GtLgjBSiA0k5+B8xoTX3ubeucEwJmJEmgvXKmGoLvWhT+6smz SLdj5YZRWuUwSo52UGRTq6PCkbqRya2eBlVfXl1GiGIoSo/c7LS3ax/OwROypndX3Ehw4ii X9leUseAh81xnHOzrQC8nK2KRpma7JflG0TEx0a52tLw/CxApLBYw7XmuJ8K448p3dpFtLI nHAk8ufQO0lc6RIYSPZww== UI-OutboundReport: notjunk:1;M01:P0:foXyoSHnUdc=;7AjaNE8TXmJNnuYVDXAHfnpxkEY W/rXqLtMMyL1o7/heM+gDK8prvNV/pGNa1SvRERI5H1cT9lBmfOWTgcHku5e+YB8A1jCRLUUb tVdRemedrZBExx0wSyKaXc8KsxnrJYpLPq5qsSNOH70W04Mo/Ub6/9RsCC69X2hOF3oieplx4 8iAmbyz/Hkw4zcO0NDaT2LstqLHPhLW9wTrJljt2IOQw7YUaKk3mEE4Wg+sno2PK7Jsx6h3Fa i5VLWaVHl2Z94A9J00qtL/s4Zjo7zLsrnibaNZhuOp5E7UlEq2+fLWa+3eVUP9wKepDUTu6yk Dio8WgxDhiPigeDzRe2eb2Sr9yKpQxn2X/+ii9E7i+indAL1xhX9A15umAxZoFo+PBt1iF4sG Ma8qC4kiNye84iHDEXMgqyjcIISGp0HsooMicU49zIm+QJzBOcZRZreDIT8OGg3++b6+cBXaz rbUbRzBIDxexktRiVD/l3n4Ra7YM8PP63lGd93BOS4PvJ4jFwINcrJ0g0D74IwXMmsIRf+z5y 9gwanvRVz7CIubKVcssz80Whs5cQ2+F/SLNolDVEaSk6Z4kFF0FfClR3Iu+l1ZfBG18JmWC4s F3lZDiG+Vd34nMVPV/gZIkEQZ/1wOZqZG1+VMGKTOJV2wQTZdSr9j1P3nJNtU+edgIBsvWL8q TEkkvbyT80hLfe3atSQd6HQYPacO4yMG6N+D8iq47xk9q5AdFiClyVhZsd3K3koip0bkVvGGe WEgunoephUxIncBRCRAe5uom9iQApA91EZv+mLVGU0YdWBlEC7uyLWlwqi1s6+86ICF3HR+Nk 7xNp2fIA8jWQGU0hdqsQs25if7PpdJ9pxuHJPnNkVfsYKspZ1pXS1r4NRURTFDG8/La1wqJ07 OTI6C1jnDMEO7Ns+zt84hnkks+YHhhihFlJJIFOdU6zruY9U/8OSglsze0fJVQHbvKSjERs7E 4K3HIkiTAxbisaK42a56irFwisTPkiC015LTjCpxTanY8CgvHakPeSZAQIKFwp0AVZJx/MoEl ppxttIXm6A8BE6Qo3r4Qdy/x94xrtXMQCF9ccnBbQFWTuGCCGLad76bnjYuS9ztqyM6IxSCyq 2bhiDiQu8pzEo4v+bwFsFZEVmbCW5HSppwIu5SAWDUpqwazk1dDtzbR9XVz0jLuIx3lmsfpki G3Fsq+duCGwl/eXe+hc2CNTRY00c/3M7CV5Mdj7SMJSi2iqC9hY7hD8NMPk2Vip3Jdb/SDM/R nwizq4xPherPeGftGjom55o8RIjrlsTlkDim1MtP4Hkn7yuZl2f5ppT0SH5tA64Ghrzleh7nQ Ts6qeZ9T5a4yHPc2zR9rHrCZfC+5MWAgYFSDK5eGvrPIlDZqyBQBXiafabVBz1yI15MDCm6A2 lFT8Zbn0ikHCWMT0qaaOHAMpd2ArKGG6Razxn6lC9J1d2BimRCS27mJEZ+ From: cmbecker69@gmx.de ("Christoph M. Becker") On 06.02.2025 at 15:48, Ilija Tovilo wrote: > * Is assert($foo !== null); $foo->bar; really much worse? I understand > it requires two statements, so it cannot be used in all contexts. In my opinion, it is better, because you can completely disable the assertion checking in production. > * Are we ever going to promote the (null)->prop warning to an Error? > If so, is there still any appeal for this feature? I would rather avoid having ?->, !-> (or postfix !, which can easily be confused with prefix !), and regular ->. This is one to much. I'm fine with throwing on (null)->prop, but I'm also fine leaving this for static analysis. Christoph