Stdlib: ReflectionParameter::hasType() true + mixed for untyped params — Zend false (ext/reflection/php_reflection.c) #22064

Category

Stdlib · php-src-strict · Reflection parameter types

Problem

For untyped parameters, Zend’s ReflectionParameter::hasType() is false (no type object). The VM reports hasType()===true with getType() stringifying as mixed (2026-07-22). Typed / nullable / explicit mixed params already match.

php-src reference

• php/php-src ext/reflection/php_reflection.c — zim_reflection_parameter_hasType / getType (NULL type_info → false / null)
• Untyped ≠ implicit mixed for reflection

PHP implementation target

• Parameter reflection stubs: only set a type when the AST/signature has an explicit type; bare $b must leave type absent so hasType() is false
• Likely lib/VM Reflection parameter builders / ext/standard/VmReflection.php
• PHP-in-PHP; no new C

Repro

./script/docker-exec.sh -- bash -lc 'cat >/tmp/param_has_type.php <<'"'"'P'"'"'
<?php
function f(int $a, $b, ?string $c = null, mixed $d = null) {}
foreach ((new ReflectionFunction("f"))->getParameters() as $p) {
  echo $p->getName(), " hasType=", $p->hasType()?"1":"0",
    " type=", $p->hasType()?(string)$p->getType():"-", "\n";
}
P
php /tmp/param_has_type.php; php bin/vm.php /tmp/param_has_type.php'

Done when

• Untyped params: hasType()===false; no synthetic mixed
• Explicit mixed / nullable / class types unchanged vs Zend
• Compliance .phpt under reflection/
• php-src-strict; no php-compiler-strict shortcut