Language: property hooks with asymmetric set visibility set (protected) => — parse fails (zend_property_hooks.c)

Problem

PHP 8.4 property hooks may declare asymmetric set visibility on the set hook:

public string $x {
    get => 'g';
    set (protected) => $value;
}

php-src accepts this; this compiler fails to parse (Syntax error, unexpected '(' on the set hook line). Other property-hook gaps (#4821, #4701, …) assume hooks parse; this blocks asymmetric hook visibility entirely.

php-src reference

php/php-src Zend/zend_compile.c — property hook parse + asymmetric set modifier
php/php-src Zend/zend_property_hooks.c — hook dispatch with visibility

Repro

<?php
declare(strict_types=1);

class C {
    public string $x {
        get => 'g';
        set (protected) => $value;
    }
}

$c = new C();
echo $c->x, "\n";          // g
$c->x = 'n';               // Error from global scope (protected set)

./script/docker-exec.sh -- bash -lc 'source script/php-env.sh
php bin/vm.php -r "class C{public string \$x{get=>\"g\"; set(protected)=>\$value;}} \$c=new C; echo \$c->x,\"\n\";" 2>&1 | head -5
'

Scope (PHP-in-PHP first)

Layer	Path
Parser/Rewriter	extend property-hook grammar or pre-parse normalization (similar to `AsymmetricVisibilityRewriter`)
VM/JIT	enforce protected/private set on hook writes (`Error` parity)
Tests	`test/compliance/cases/language/property_hook_asymmetric_set.phpt`

Done when

Repro parses; get hook returns g
Assignment from global scope throws catchable Error (protected set)
Assignment from allowed scope succeeds
./script/ci-fast.sh --filter property_hook_asymmetric green on VM

Language: property hooks without set — assignment must throw Error (zend_property_hooks.c) #4821 · Language: readonly property hooks — set hook cannot assign to readonly backing store outside __construct (zend_compile.c) #4518 · Stdlib: ReflectionProperty::getHooks() / setHook() — PHP 8.4 property hooks reflection (ext/reflection/php_reflection.c) #4806 · Stdlib: ReflectionProperty::getAsymmetricVisibility() — static properties return wrong/null (ext/reflection/php_reflection.c) #6772 · Epic: Self-host critical path — compiler compiles itself (M3→M5) #1492

claim: worker-lane-c — starting this run

Merged via #6980.

Verification (VM):
```bash
./script/docker-exec.sh -- bash -lc 'source script/php-env.sh
php bin/vm.php -r "class C{public string $x{get=>"g"; set(protected)=>$value;}} $c=new C; echo $c->x,"\n"; try{$c->x="n";}catch(Error $e){echo get_class($e),": ",$e->getMessage(),"\n";} echo $c->x,"\n";"'
```
Prints g, then Error: Cannot modify protected(set) property C::$x from global scope, then g.

`vendor/bin/phpunit --filter property_hook_asymmetric` — OK (3 tests).

Fix property hook asymmetric set visibility parse and enforcement (#6898

Navigation Menu

Repository navigation

Language: property hooks with asymmetric set visibility set (protected) => — parse fails (zend_property_hooks.c) #6898

Category

Problem

php-src reference

Repro

Scope (PHP-in-PHP first)

Done when

Related

Metadata

Assignees

Labels

Projects

Milestone

Relationships

Development

Language: property hooks with asymmetric set visibility set (protected) => — parse fails (zend_property_hooks.c) #6898

Description

Category

Problem

php-src reference

Repro

Scope (PHP-in-PHP first)

Done when

Related

Activity

PurHur commented on Jun 6, 2026

PurHur commented on Jun 6, 2026

Metadata

Metadata

Assignees

Labels

Projects

Milestone

Relationships

Development

Issue actions