Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:130068
Feedback-ID: i8414410d:Fastmail
Precedence: list
MIME-Version: 1.0
Date: Tue, 10 Feb 2026 18:02:51 -0600
To: "php internals" <internals@lists.php.net>
Message-ID: <ba4bd485-d8e9-4f92-9214-853075c698a9@app.fastmail.com>
In-Reply-To: <0616b43a-23dd-4ab8-9591-7a1e631dd434@bastelstu.be>
References: <b0ea6584-97cd-4a8b-b0f9-a8b0ce9b7950@app.fastmail.com>
 <0616b43a-23dd-4ab8-9591-7a1e631dd434@bastelstu.be>
Subject: Re: [PHP-DEV] [Vote] Partial Function Application v2
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
From: larry@garfieldtech.com ("Larry Garfield")

On Mon, Feb 9, 2026, at 3:09 PM, Tim D=C3=BCsterhus wrote:
> Hi
>
> On 11/20/25 22:59, Larry Garfield wrote:
>> https://wiki.php.net/rfc/partial_function_application_v2
>
> As part of my work on the PFA-for-$this RFC I noticed one thing that i=
s=20
> left undefined in the RFC text and AFAICT not currently tested with th=
e=20
> implementation PR, but appears to =E2=80=9Cjust work=E2=80=9D is late-=
static binding=20
> with `static::`:
>
>      <?php
>
>      class P {
>          public static function m(string $a): void {
>              echo __METHOD__, PHP_EOL;
>              var_dump($a);
>          }
>
>          public static function get() {
>              return static::m(?);
>          }
>      }
>
>      class C extends P {
>          public static function m(string|array $b): void {
>              echo __METHOD__, PHP_EOL;
>              var_dump($b);
>          }
>      }
>
>      P::get()(a: 'a');
>      C::get()(b: []);
>
> This correctly results in:
>
>      P::m
>      string(1) "a"
>      C::m
>      array(0) {
>      }
>
> being output.
>
> Can you please make sure to include this as an Erratum within the RFC=20
> text (and also make sure it gets a proper test in the PR, including al=
l=20
> possible OPcache variations)?
>
> Best regards
> Tim D=C3=BCsterhus

Thanks Tim, good catch.  I have added an errata to that effect; Arnaud's=
 on vacation this week but will add some tests when he returns.

--Larry Garfield