Know that numeric-string and decimal-int-string are non-empty-string - #6959

Know that numeric-string and decimal-int-string are non-empty-string#6959

ondrejmirtes merged 2 commits into

2.3.xphpstan/phpstan-src:2.3.xfrom

numeric-string-non-emptyphpstan/phpstan-src:numeric-string-non-emptyCopy head branch name to clipboard