Stdlib: ReflectionUnionType / ReflectionIntersectionType — getTypes() parity (ext/reflection/php_reflection.c)

[PurHur]

Category

stdlib

Problem

ReflectionUnionType and ReflectionIntersectionType classes are registered in lib/VM/BuiltinClasses.php, but getTypes() is not implemented — the method table is empty ([]). Zend returns an array of ReflectionNamedType (or nested union/intersection) objects for composite parameter/return/property types.

Without this, reflection-based DI containers, static analyzers, and bootstrap inventory tools cannot introspect union/intersection type hints.

php-src reference

• php/php-src ext/reflection/php_reflection.c — ReflectionUnionType::getTypes, ReflectionIntersectionType::getTypes
• php/php-src Zend/zend_type.c — composite type lists

Repro (failure today)

Save as repro_reflection_composite_types.php:

<?php
class C {
    public function m(string|int $x, Countable&Traversable $y): void {}
}
$rm = new ReflectionMethod(C::class, 'm');
$union = $rm->getParameters()[0]->getType();
$inter = $rm->getParameters()[1]->getType();
echo get_class($union), "\n";
echo get_class($inter), "\n";
var_export(method_exists($union, 'getTypes'));
var_export(method_exists($inter, 'getTypes'));
// Zend: both true; getTypes() returns ReflectionNamedType[] / nested composites

./script/docker-exec.sh -- bash -lc 'source script/php-env.sh
php repro_reflection_composite_types.php
php bin/vm.php repro_reflection_composite_types.php
'

Check	Zend	This compiler
get_class($union)	ReflectionUnionType	likely matches
method_exists($union, 'getTypes')	true	false (empty method table)
count($union->getTypes())	2	fatal / undefined method

Scope (this repo)

Area	Files	Notes
VM reflection	ext/standard/VmReflection.php, new ReflectionUnionTypeGetTypes.php, ReflectionIntersectionTypeGetTypes.php	Walk stored composite type metadata from compile time
Compiler	lib/Compiler.php — type hint metadata on parameters/properties	Ensure union/intersection members persisted for reflection
Builtin classes	lib/VM/BuiltinClasses.php	Wire methods into registration
Tests	test/compliance/cases/stdlib/reflection_union_intersection_types.phpt
JIT/AOT	phase 2	VM-first

Done when

• Repro: method_exists(..., 'getTypes') true for both composite types
• $union->getTypes() returns two ReflectionNamedType with names string and int
• $inter->getTypes() returns Countable and Traversable named types
• ./script/ci-fast.sh --filter reflection_union green
• Coordinate with Stdlib: ReflectionProperty — attributes + type + visibility parity (ext/reflection/php_reflection.c) #4384 / Stdlib: ReflectionParameter — attributes + type + default value parity (ext/reflection/php_reflection.c) #4385 reflection property/parameter parity

Links

• Stdlib: ReflectionProperty — attributes + type + visibility parity (ext/reflection/php_reflection.c) #4384, Stdlib: ReflectionParameter — attributes + type + default value parity (ext/reflection/php_reflection.c) #4385, Stdlib: ReflectionClassConstant — visibility, value, and attributes parity (ext/reflection/php_reflection.c) #4386 — reflection API gaps
• Language: ReflectionAttribute::newInstance() — instantiate attribute objects (ext/reflection parity) #3206 — ReflectionAttribute (closed VM path)
• North star: Epic: Self-host critical path — compiler compiles itself (M3→M5) #1492

[PurHur]

claim: worker-lane-a — starting this run

[PurHur]

Merged via #18309.

ReflectionUnionType::getTypes() / ReflectionIntersectionType::getTypes() were already implemented (#3355, #11545). This PR adds the issue repro and compliance PHPT guard.

Verification:

./script/docker-exec.sh -- bash -lc 'source script/php-env.sh
php bin/vm.php test/repro-maintainer/parity_reflection_composite_types.php
vendor/bin/phpunit --filter reflection_union_intersection_types
'

VM prints union/intersection classes, method_exists(..., getTypes) === true, and ReflectionNamedType members string|int / Countable|Traversable.