Stdlib: method_exists/property_exists Reflection $object_or_class untyped (#30244)

[PurHur]

Summary

• Closes Regression: method_exists/property_exists Reflection object_or_class typed object|string — Zend untyped (re-#23399, zend_builtin_functions.stub.php) #30244 — drop Reflection object|string on method_exists/property_exists $object_or_class so it matches Zend untyped stubs (Zend/zend_builtin_functions.stub.php).
• Override via BuiltinInternalArgInfo::stubParamTypeOverride (empty string), same pattern as class_parents (Regression: class_implements/parents/uses Reflection return array + autoload default false — Zend array|false / true (Zend/zend_builtin_functions.stub.php) #25498). Names/named-args from Regression: method_exists/property_exists Reflection names object/property_name — Zend object_or_class/property; named args rejected (Zend/zend_builtin_functions.stub.php) #23399 unchanged.
• PHP-in-PHP only; no C runtime changes.

Test plan

• Issue repro (Zend + VM):

  ./script/docker-exec.sh -- bash -lc 'php -r "…" && php bin/vm.php test/repro/method_exists_property_exists_object_or_class_untyped.php'

  Output: both functions object_or_class ty=-; method/property still string; return bool.
• ./script/phpunit.sh --filter MethodExistsPropertyExistsObjectOrClassUntypedVMTest → OK (1 test)
• ./script/phpunit.sh --filter 'testMethodExistsPropertyExistsObjectOrClassUntyped|testMethodExistsAndPropertyExistsZendStubNamedParams' → OK (2 tests, 30 assertions)
• Named args still work: method_exists(object_or_class: DateTime::class, method: "__construct") → true

Verification transcript

method_exists p0=object_or_class ty=-
method_exists p1=method ty=string
method_exists ret=bool
property_exists p0=object_or_class ty=-
property_exists p1=property ty=string
property_exists ret=bool

Pillar 1 preflight (this host): user_release_ready=yes; inventory OK 7364/7364; north-star5-fast ok (gen-0 seed stale warning only).

Made with Cursor