numeric-string should be implied when a string is simplified

[mvorisek]

Feature request

repro: https://phpstan.org/r/35eab3db-df1b-4df2-bc3f-9988c83d5b4a

expected output:

-actual
+expected
 Line	Error
 8	Dumped type: 'aaaaa...'
 9	Dumped type: false
 12	Dumped type: '00000...'
 13	Dumped type: true
 16	Dumped type: literal-string&non-falsy-string
 17	Dumped type: bool
-20	Dumped type: literal-string&non-empty-string
-21	Dumped type: bool
+20	Dumped type: literal-string&non-empty-string&numeric-string
+21	Dumped type: true

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.