Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:121706 Return-Path: Delivered-To: mailing list internals@lists.php.net Received: (qmail 14478 invoked from network); 17 Nov 2023 13:53:07 -0000 Received: from unknown (HELO php-smtp4.php.net) (45.112.84.5) by pb1.pair.com with SMTP; 17 Nov 2023 13:53:07 -0000 Received: from php-smtp4.php.net (localhost [127.0.0.1]) by php-smtp4.php.net (Postfix) with ESMTP id 153A518002B for ; Fri, 17 Nov 2023 05:53:08 -0800 (PST) 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.4 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,SPF_HELO_NONE,SPF_PASS autolearn=no autolearn_force=no version=4.0.0 X-Spam-Virus: No X-Envelope-From: Received: from mail-ed1-f53.google.com (mail-ed1-f53.google.com [209.85.208.53]) (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 ; Fri, 17 Nov 2023 05:53:07 -0800 (PST) Received: by mail-ed1-f53.google.com with SMTP id 4fb4d7f45d1cf-53dd3f169d8so2815713a12.3 for ; Fri, 17 Nov 2023 05:53:06 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1700229185; x=1700833985; darn=lists.php.net; h=content-transfer-encoding:mime-version:message-id:references :in-reply-to:user-agent:subject:to:from:date:from:to:cc:subject:date :message-id:reply-to; bh=snT1c2o83qgCFey1bSboZvU0T+Lpl3Vy3i5sb/kkM0k=; b=Fboi1+9exJp3Lye5kb/+9nBQUsnKF0onZS0Jd40wJMF3DFKm585gpSWz36AGUfKoNV 0/eTq1Om6xnxDQXB7fJazQzL4j9CLyUayZ/uYdi+vK3jZPaHqqBm/piTUTTuai9SHfFC C/87z4n6ZyUnRWjlN6XbyXOvXyT6DaWUd+okDYrCFWbZLaZaZ6Oq0EBOaJQAisSRHjXS oeolVBTXGXT8MqkhLFCy3J11Db+hFvhm35m+BShEQypmpeCDhMHHRdm/f7HUb4miDy6U k1UZ4yWsbhzKW/IEP0yelFhDJLW72poH9TAkmlzHfWb1TDzp7uhGmGBtfYBDmRS2FLso 93rA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1700229185; x=1700833985; h=content-transfer-encoding:mime-version:message-id:references :in-reply-to:user-agent:subject:to:from:date:x-gm-message-state:from :to:cc:subject:date:message-id:reply-to; bh=snT1c2o83qgCFey1bSboZvU0T+Lpl3Vy3i5sb/kkM0k=; b=Fj9rx3T6+tVNA8EAPF2iy/Hb93ytIMsz1jR0kTxjaHUkSOnAnP14djtW81Wx3bNpEL naLQ8W8Uhue5Idf816d8+tJ3hSD1VZpt3swiEEsxkL6B4L00HMume++LxIuG4trPblpi iMZUc47Hb0NsTslmZV1qrZhbRxcnzGpjlFmICAMNqB+UAVKzvQ0x8j7V0l2JdW1t4zyC VJtvoKIzN0BcQxfO6St1BiqG6krpIv0XxlQkpWqrPrSITTw4zFibRnDzNKBOGMenv3Pj M7fptXXvTki4V0YFkeKIUCNJCmgWJJ1CpwpKpJh0i8+kFTX7n3Y4CG+M/XtEAKLV1za0 IR1g== X-Gm-Message-State: AOJu0Yx1HyjMiZuvGOlANqj/fh8zhn2cs3+7vVPMDfDKhLVAtz4jy+k5 f1EbkBVaFdclObDyzv46dp+qWxHgC2g= X-Google-Smtp-Source: AGHT+IEfrDhw88fibd+GZ2pCaZh5Yo1TUYCXFwfT0lHUPEbi9rQ42iEg2tTB9jvpYNwFc3EpHYRWkQ== X-Received: by 2002:a17:906:3a0e:b0:9be:5ab2:73c0 with SMTP id z14-20020a1709063a0e00b009be5ab273c0mr4196646eje.8.1700229185248; Fri, 17 Nov 2023 05:53:05 -0800 (PST) Received: from [127.0.0.1] (92.40.196.114.threembb.co.uk. [92.40.196.114]) by smtp.gmail.com with ESMTPSA id r7-20020a170906280700b009cc1e8ed7c5sm806757ejc.133.2023.11.17.05.53.04 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 17 Nov 2023 05:53:04 -0800 (PST) Date: Fri, 17 Nov 2023 13:53:01 +0000 To: PHP Internals User-Agent: K-9 Mail for Android In-Reply-To: References: <2b4591c1-f999-49b5-8061-67db816aa0da@gmail.com> Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Subject: =?US-ASCII?Q?Re=3A_=5BPHP-DEV=5D_=5BRFC=5D=5BDiscussion=5D_Harmo?= =?US-ASCII?Q?nise_=22untyped=22_and_=22typed=22_properties?= From: rowan.collins@gmail.com (Rowan Tommins) On 17 November 2023 13:30:42 GMT, Claude Pache = wrote: > >Yes, except that an untyped (respectively `mixed`) property cannot be red= eclared as `mixed` (resp=2E untyped) in a subclass=2E A small step in the r= ight direction is to allow that=2E Huh, I didn't know that=2E I'll add it to the RFC, at least to consider=2E The RFC to add "mixed" gives an example of removing the type as invariance= , but doesn't seem to justify why "untyped" and "mixed" should be considere= d different, from a type system point of view=2E https://wiki=2Ephp=2Enet/r= fc/mixed_type_v2 Regards, --=20 Rowan Tommins [IMSoP]