concat of numeric constant string and int should lead to numeric-string #11129
Description
Bug report
see also https://3v4l.org/EQADV
Code snippet that reproduces the problem
https://phpstan.org/r/a7e508c0-f23c-47d2-a69f-e7d761bff096
Expected output
no error
Did PHPStan help you today? Did it make you happy in any way?
No response