Language: static typed property with enum case default must compile (extends #9715, Zend/zend_compile.c)

Problem

#9715 tracks enum cases as defaults for parameters and instance properties. The same compile failure hits static typed properties:

enum G: string { case X = 'x'; }
class C { public static G $g = G::X; }

VM parse/compile fails: Cannot use string as default value for property C::$g of type G — enum case lowered to backing scalar during default validation.

Zend accepts the default and C::$g reads as an enum case object.

php-src reference

php/php-src Zend/zend_compile.c — static property default validation with enum type hints
php/php-src Zend/zend_enum.c — enum case as constant expression

Repro (failure today)

Save as test/repro/maintainer_gap_static_enum_default.php:

<?php
declare(strict_types=1);

enum G: string { case X = 'x'; }

class C {
    public static G $g = G::X;
}

echo C::$g->name, "\n";

php test/repro/maintainer_gap_static_enum_default.php
# Zend: x

./script/docker-exec.sh php bin/vm.php test/repro/maintainer_gap_static_enum_default.php
# VM: compile error — Cannot use string as default value...

Scope

Path	Work
`lib/Compiler.php`	treat enum case defaults like other constant expressions for static properties
`lib/VM.php`	static property default materialization preserves enum case objects
Same fix as #9715	share one code path for param / instance / static defaults

Done when

Repro compiles and prints x on VM
Language: enum case as parameter/property default must compile (Zend/zend_compile.c) #9715 repro also green (parameter + instance property)
./script/ci-fast.sh --filter static_enum_default green

Language: enum case as parameter/property default must compile (Zend/zend_compile.c) #9715 (primary enum default issue — implement together)
Language: file-scope const with enum case materializes backing scalar (Zend/zend_constants.c) #9711, Language: class/interface const with enum case materializes backing scalar (Zend/zend_constants.c) #9712 (const enum materialization)
North star Epic: Self-host critical path — compiler compiles itself (M3→M5) #1492

claim: worker-lane-c — starting this run

Already fixed on master: issue repro + enum_property_default.phpt + maintainer parity repros all green. Pivoting worker to #9714.

claim: worker-lane-c — starting this run

Merged via #9958.

Static typed property enum defaults were already green on master (shared path with #9715 / enum_property_default.phpt). This PR completes the issue checklist:

Maintainer repro: test/repro/maintainer_gap_static_enum_default.php
Unit: VmEnumDefaultParameterTest::testBackedEnumStaticPropertyDefaultIsCaseSingleton

Verification (VM prints X + enum singleton identity):

./script/docker-exec.sh -- bash -lc 'source script/php-env.sh
php bin/vm.php test/repro/maintainer_gap_static_enum_default.php
php bin/vm.php test/compliance/cases/language/enum_property_default.phpt
vendor/bin/phpunit test/unit/VmEnumDefaultParameterTest.php
'

Close #9975: add static_enum_property_default compliance guard. (#9979)

Navigation Menu

Repository navigation

Language: static typed property with enum case default must compile (extends #9715, Zend/zend_compile.c) #9747

Category

Problem

php-src reference

Repro (failure today)

Scope

Done when

Related

Metadata

Assignees

Labels

Projects

Milestone

Relationships

Development

Language: static typed property with enum case default must compile (extends #9715, Zend/zend_compile.c) #9747

Description

Category

Problem

php-src reference

Repro (failure today)

Scope

Done when

Related

Activity

PurHur commented on Jun 18, 2026

PurHur commented on Jun 18, 2026

PurHur commented on Jun 19, 2026

PurHur commented on Jun 19, 2026

Metadata

Metadata

Assignees

Labels

Projects

Milestone

Relationships

Development

Issue actions