Language: first-class callable on enum case methods — parseAndCompile TypeReconstructor crash (zend_compile.c)

[PurHur]

Category

language · php-src-strict

Problem

First-class callable syntax on enum case instance methods (E::A->f(...)) must compile and invoke the case method. This compiler crashes during type reconstruction with Call to undefined method PHPTypes\Type::array() when the receiver is an enum case.

Related runtime gap: #5721 (Closure::fromCallable([enumCase, method])).

php-src reference

• php/php-src Zend/zend_compile.c — first-class callable lowering
• php/php-src Zend/zend_closures.c — enum case method binding

Repro

test/repro/maintainer_enum_case_first_class_callable.php:

enum E {
    case A;
    public function f(): string { return 'a'; }
}
$c = E::A->f(...);
echo $c(), "\n"; // Zend: a

./script/docker-exec.sh -- bash -lc 'source script/php-env.sh
php bin/vm.php test/repro/maintainer_enum_case_first_class_callable.php   # TypeReconstructor crash
php test/repro/maintainer_enum_case_first_class_callable.php              # a
'

Expected

Compile succeeds; runtime prints a.

Actual

parseAndCompile failure: Call to undefined method PHPTypes\Type::array() in TypeReconstructor.php.

Implementation hints (PHP-in-PHP)

• Fix enum-case receiver typing in first-class callable / type reconstruction path (lib/Runtime.php, php-types integration).
• Lower to VM opcode that binds enum case + method name (same semantics as Stdlib: Closure::fromCallable([enumCase, method]) — must invoke case method (zend_closures.c) #5721).
• PHP lowering only; no new C builtins.

Verification

• Repro green on VM; JIT/AOT when callable lowering is shared.
• Regression test alongside Stdlib: Closure::fromCallable([enumCase, method]) — must invoke case method (zend_closures.c) #5721 closure-from-callable enum coverage.

[PurHur]

claim: worker-lane-c — starting this run

[PurHur]

Merged via #6860

Fix: ClosureSupport::fromArrayCallable() now materializes TYPE_ENUM_CASE receivers through EnumCaseSupport::receiverForInstanceMethod() before binding the instance method closure. JIT FCC lowering infers enum FQCN from TYPE_CLASS_CONST_FETCH for E::A->f(...) arrays.

Verification:

./script/docker-exec.sh -- bash -lc 'source script/php-env.sh
php bin/vm.php test/repro/maintainer_enum_case_first_class_callable.php   # a
php test/repro/maintainer_enum_case_first_class_callable.php              # a
./vendor/bin/phpunit --filter FirstClassCallableTest                      # OK
./vendor/bin/phpunit --filter enum_case_method_first_class_callable       # OK
'