Bug report

Code snippet that reproduces the problem

https://phpstan.org/r/b13087bc-7cca-4de2-943c-bf7eb9a5885c

Any arbitrary string could be passed here which might not split into 4.