UnhandledMatchError does not take zend.exception_ignore_args=1 into account

[TimWolla]

Description

The following code:

<?php

ini_set('zend.exception_ignore_args', '1');

try {
    match (1) { };
} catch (Error $e) { echo $e->getMessage(), PHP_EOL; }

try {
    match ("foo bar baz foo bar baz") { };
} catch (Error $e) { echo $e->getMessage(), PHP_EOL; }

https://3v4l.org/Xen86

Resulted in this output:

Unhandled match case 1
Unhandled match case 'foo bar baz foo...'

But I expected this output instead:

Unhandled match case of type int
Unhandled match case of type string

PHP Version

PHP 8.1.0 - PHP 8.4.3

Operating System

No response

[TimWolla]

Spun out of #17601, after I got the (private) feedback, that this should be considered a bug.