Language: throw expressions — JIT lowering (phase 2 of #3802)

[PurHur]

Closes #4137

Summary

• Remove script-scope try/catch/throw from Block::requiresVmLowering() so bin/jit.php MCJIT-lowers throw expressions inside top-level try blocks (Language: JIT try/catch/finally — exception landing pads without VM fallback (phase 2 of #57) #4246).
• Add apply_php_types_never_method_overlay() so Type::never() exists when Expr_Throw type reconstruction is applied (fixes compile abort on throw-expression scripts).
• Register throw_expression.phpt in TryCatchJITTest and set jit => true in capability matrix.

php-src reference

• Zend/zend_compile.c — zend_compile_throw in expression context
• Zend/zend_ast.c — ZEND_AST_THROW

Verification

./script/docker-exec.sh -- bash -lc 'source script/php-env.sh
php bin/jit.php -r "try { echo (false ? 1 : throw new LogicException(\"x\")); } catch (LogicException \$e) { echo \$e->getMessage(); }"'
# x

php vendor/bin/phpunit --filter throw_expression
# OK (6 tests)

Output:

x
OK (6 tests, 6 assertions)

Made with Cursor