# 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.