Regression: static typed enum property default compile-rejected — re-#9975 (Zend/zend_compile.c)

[PurHur]

Category

language · php-src-strict · regression

Problem

#9975 was closed, but VM still rejects valid PHP 8.1+ syntax for static typed properties with enum case defaults:

enum G: string { case X = 'x'; }
class C {
    public static G $g = G::X;
}
echo C::$g->name; // Zend: X

Compile error today:

Cannot use string as default value for property C::$g of type G

Compliance fixture already exists: test/compliance/cases/language/static_enum_property_default.phpt.

Instance property enum defaults are tracked in #9954; this issue is static only.

php-src reference

• php/php-src Zend/zend_compile.c — typed property default validation for enum objects
• php/php-src Zend/zend_enum.c
• Tests: Zend/tests/enum/backed_enum_properties*.phpt

Repro (failure today)

./script/docker-exec.sh -- bash -lc 'source script/php-env.sh
php bin/vm.php test/compliance/cases/language/static_enum_property_default.phpt
# parseAndCompile failure: Cannot use string as default value for property C::$g of type G
'

Step	Zend	VM today
Compile static G $g = G::X	OK	compile error ❌
C::$g->name	X	n/a

Scope (this repo)

Path	Work
lib/Compiler.php	Accept enum case expression as default for static typed properties
lib/VM.php	Preserve enum singleton at runtime (no backing scalar materialization)
lib/JIT/	Match VM when JIT compiles static property init

Done when

• static_enum_property_default.phpt green on VM
• JIT/AOT compile the fixture when in scope for enum static defaults
• ./script/ci-fast.sh --filter static_enum_property_default green

Related

• Language: instance typed property enum case default must compile (extends #9747, re-#9715, Zend/zend_compile.c) #9954 instance enum defaults · Regression: static typed enum property default still compile-rejected — re-#9747 (Zend/zend_compile.c) #9975 (closed prematurely) · Language: static typed property with enum case default must compile (extends #9715, Zend/zend_compile.c) #9747 · Epic: Self-host critical path — compiler compiles itself (M3→M5) #1492

[PurHur]

claim: worker-lane-c — starting this run

[PurHur]

Verified fixed on master — repro prints X; static_enum_property_default.phpt and VmEnumDefaultParameterTest::testBackedEnumStaticPropertyDefaultIsCaseSingleton green. No code change needed; handing off for close.

[PurHur]

Verified fixed on master (lane A audit): static_enum_property_default.phpt prints X.