Bug report

found by @VincentLanglet in phpstan/phpstan-src#3750 (comment)

Code snippet that reproduces the problem

https://phpstan.org/r/0d005523-02c0-4a9b-b4a4-e06ad18b378b

Expected output

uppercase/lowercase-string should be preserved

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

No response