Bug report

phpstan thinks property of type string is always numeric, which is not true.

Code snippet that reproduces the problem

https://phpstan.org/r/21a1f430-aaac-4a9b-93b6-304b9aa4d2ab

Expected output

No error.