Close #9716: match() enum subject must not match scalar int arms

[PurHur]

Summary

• Confirms Language: match() enum-case subject must not match scalar int arms via backing coercion (Zend/zend_execute.c) #9716 is already fixed on master: Variable::identicalTo() rejects enum-case vs backing-scalar pairs (inverse of Language: match() scalar subject must not match enum-case arms via backing coercion (Zend/zend_execute.c) #9566).
• Adds issue repro (test/repro-maintainer/match_enum_subject_scalar_arm.php) and VM/JIT compliance guards (match_enum_subject_scalar_arm*.phpt).

Verification

Issue repro (VM + JIT):

./script/docker-exec.sh -- bash -lc 'source script/php-env.sh
php bin/vm.php test/repro-maintainer/match_enum_subject_scalar_arm.php
php bin/jit.php test/repro-maintainer/match_enum_subject_scalar_arm.php
'

Output (both):

case_hit

Compliance:

./script/docker-exec.sh -- bash -lc 'source script/php-env.sh
php vendor/bin/phpunit test/compliance/MatchVMTest.php --filter match_enum_subject_scalar_arm
php vendor/bin/phpunit test/compliance/MatchJITTest.php --filter match_enum_subject_scalar_arm
'

OK (1 test, 1 assertion)  # VM
OK (1 test, 1 assertion)  # JIT

php-src reference

• Zend/zend_execute.c — zend_match() strict identity
• Existing fix: lib/VM/Variable.php identicalTo() enum/scalar guard (pairs with Language: match() scalar subject must not match enum-case arms via backing coercion (Zend/zend_execute.c) #9566 / match_scalar_enum_arm.phpt)

Closes #9716

Made with Cursor