Bug report

When a regular expression might match $ (end of subject), phpstan thinks the matched value always is a non-empty-string.

Code snippet that reproduces the problem

https://phpstan.org/r/b7eec0b8-6a8a-47e2-85a9-c5ddb2833d30

Expected output

I would expect the output to be:

Dumped type: array{string}

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

No response