Language: DNF parenthesized intersection-only types — parse fails (I1&I2) param/return (Zend/zend_compile.c) #9733

Category

language · php-src-strict · regression vs closed #3094

Problem

PHP 8.2 DNF allows parenthesized intersection-only types such as (I1&I2) $param and function f(): (I1&I2). Unparenthesized I1&I2 $param and union forms like (I1&I2)|null compile here, but parenthesized intersection-only positions fail at parse with unexpected T_VARIABLE, expecting '|'.

php-src reference

• php/php-src Zend/zend_compile.c — zend_compile_arg_type, DNF type parsing
• Related closed: Language: DNF types — union of intersections (PHP 8.2) #3094, Language: DNF parameter types (I1&I2)|C — compile fails on Intersection in TypeReconstructor (phase 2 of #3094) #4956, Regression: DNF parameter (I1&I2)|C compile fails on Intersection (follow-up #4956) #6741, Regression: DNF parameter (I1&I2)|C — compile fails on Intersection (re-#4956/#6741) #6957

Repro (failure today)

<?php
declare(strict_types=1);

interface I1 {}
interface I2 {}
class Both implements I1, I2 {}

function accepts((I1&I2) $o): string { return 'ok'; }
function returns(): (I1&I2) { return new Both(); }

var_export(accepts(new Both()));
var_export(returns() instanceof Both);

./script/docker-exec.sh -- bash -lc 'source script/php-env.sh && php bin/vm.php test/repro/issue-dnf-paren-intersection-param.php'
php test/repro/issue-dnf-paren-intersection-param.php

Scope (PHP-in-PHP)

• Parser / PHPCfg type reconstruction — accept parenthesized intersection leaf in DNF positions
• lib/VM.php + lib/JIT/ runtime checks once parse succeeds (reuse existing intersection helpers from Language: DNF types — union of intersections (PHP 8.2) #3094)
• Repro: test/repro/issue-dnf-paren-intersection-param.php

Done when

• Parameter, return, and property positions accept (I1&I2) without parse error
• Runtime type check accepts new Both() and rejects non-implementors
• Compliance guard; ./script/ci-fast.sh --filter dnf_paren_intersection if added

Related

• Language: DNF types — union of intersections (PHP 8.2) #3094 · Stdlib: ReflectionUnionType / ReflectionIntersectionType — getTypes() parity (ext/reflection/php_reflection.c) #4650 Reflection DNF types · Epic: Self-host critical path — compiler compiles itself (M3→M5) #1492