Regression: Closure::bind() scrambles arguments — TypeError closure vs newThis (Zend/zend_closures.c) #17633

Category

Regression · php-src-strict · language / closures

Problem

Closure::bind($closure, $newThis, $scope) must return a closure bound to $newThis with $scope, including access to private methods on that scope. The VM builtin mis-dispatches operands: argument #1 is treated as the object (A) instead of the closure, yielding TypeError: Argument #1 ($closure) must be of type Closure, A given.

php-src reference

• php/php-src Zend/zend_closures.c — zif_closure_bind, operand order (Closure $closure, ?object $newThis, mixed $scope)

PHP implementation target

• ext/standard/ closure builtins + lib/VM/ closure bind path — fix operand order / InternalFunction signature for Closure::bind
• JIT/AOT: shared lowering for Closure::bind / bindTo if emitted; VM fix is sufficient first gate

Repro

./script/docker-exec.sh -- bash -lc 'php bin/vm.php test/repro/maintainer_gap_closure_bind_private_method.php'
# Zend: ok
# VM: TypeError Closure::bind(): Argument #1 ($closure) must be of type Closure, A given

Done when

• Closure::bind() and Closure::bindTo() accept (closure, object, scope) in php-src order and invoke private methods when scope matches
• VM/JIT/AOT agree when JIT path exists
• Compliance .phpt guard for bind + private method access
• php-src-strict; no php-compiler-strict shortcut