Feature request

https://phpstan.org/r/c7ea9c80-2acb-49f2-90b9-46dafb4e5db9
It would be nice if the type of $match could be narrowed down to array{non-empty-string} in that case.

Note that it works as expected when using a capturing group: https://phpstan.org/r/1128b5ab-20ae-4948-871f-682c58b664a2

Did PHPStan help you today? Did it make you happy in any way?

No response