Skip to content

numeric-string should be implied when a string is simplified #10572

Description

@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

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions