Skip to content

non-empty-string in substr #5324

New issue
New issue
Closed
phpstan/phpstan-src
#577
Closed
non-empty-string in substr#5324
phpstan/phpstan-src
#577
Labels
feature-request
@staabm

Description

@staabm
staabm
opened on Jul 17, 2021

Feature request

expecting a non-empty-string beeing returned in https://phpstan.org/r/8982a294-72f3-4dfc-8e7f-89292a8a4872

Did PHPStan help you today? Did it make you happy in any way?

Metadata

Metadata

Assignees

No one assigned

    Labels

    feature-request

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions