known offsets after preg_split #14464

Activity

1. staabm

   modified the milestones: Easy fixes, Dependent types on Apr 14, 2026
2. VincentLanglet commented on Apr 14, 2026

   

   VincentLanglet

   on Apr 14, 2026

   Contributor

   More actions

   Works fine when count is used inside the if.
   https://phpstan.org/r/6cfd8a6f-6775-4ec8-bf56-9355fe6fc980

   The issue is just the fact it's inside a variable
3. staabm commented on Apr 14, 2026

   

   staabm

   on Apr 14, 2026

   ContributorAuthor

   More actions

   yes, thats why its a dependent-types issue
4. phpstan-bot

   added a commit that references this issue on Apr 14, 2026

   Fix phpstan/phpstan#14464: Narrow list types when count() result is s…

   ...

   This issue will close once commit a9a6ebc is merged into the '2.2.x' branch.

   a9a6ebc
5. staabm

   added

   feature-request

   on Apr 14, 2026
6. phpstan-bot commented on Apr 15, 2026

   

   phpstan-bot

   on Apr 15, 2026

   Contributor

   More actions

   @staabm After the latest push in 2.2.x, PHPStan now reports different result with your code snippet:

   @@ @@
   -PHP 8.0 – 8.5 (5 errors)
   -==========
   -
   -14: Dumped type: list<non-empty-string>
   -18: Dumped type: non-empty-list<non-empty-string>
   -26: Dumped type: non-empty-list<non-empty-string>
   -31: Dumped type: non-empty-list<non-empty-string>
   -39: Dumped type: non-empty-list<non-empty-string>
   -
   -PHP 7.2 – 7.4 (7 errors)
   -==========
   -
   -12: Function preg_last_error_msg not found.
   -12: Parameter #1 $message of class RuntimeException constructor expects string, mixed given.
    14: Dumped type: list<non-empty-string>
    18: Dumped type: non-empty-list<non-empty-string>
    26: Dumped type: non-empty-list<non-empty-string>
    31: Dumped type: non-empty-list<non-empty-string>
    39: Dumped type: non-empty-list<non-empty-string>

   Full report

   Line	Error
   14	Dumped type: list<non-empty-string>
   18	Dumped type: non-empty-list<non-empty-string>
   26	Dumped type: non-empty-list<non-empty-string>
   31	Dumped type: non-empty-list<non-empty-string>
   39	Dumped type: non-empty-list<non-empty-string>
7. phpstan-bot commented on Apr 15, 2026

   

   phpstan-bot

   on Apr 15, 2026

   Contributor

   More actions

   @VincentLanglet After the latest push in 2.2.x, PHPStan now reports different result with your code snippet:

   @@ @@
   -PHP 8.0 – 8.5 (5 errors)
   -==========
   -
   -14: Dumped type: list<non-empty-string>
   -18: Dumped type: array{non-empty-string, non-empty-string, non-empty-string}
   -26: Dumped type: array{non-empty-string, non-empty-string}
   -31: Dumped type: array{non-empty-string}
   -39: Dumped type: list{0: non-empty-string, 1?: non-empty-string, 2?: non-empty-string}
   -
   -PHP 7.2 – 7.4 (7 errors)
   -==========
   -
   -12: Function preg_last_error_msg not found.
   -12: Parameter #1 $message of class RuntimeException constructor expects string, mixed given.
    14: Dumped type: list<non-empty-string>
    18: Dumped type: array{non-empty-string, non-empty-string, non-empty-string}
    26: Dumped type: array{non-empty-string, non-empty-string}
    31: Dumped type: array{non-empty-string}
    39: Dumped type: list{0: non-empty-string, 1?: non-empty-string, 2?: non-empty-string}

   Full report

   Line	Error
   14	Dumped type: list<non-empty-string>
   18	Dumped type: array{non-empty-string, non-empty-string, non-empty-string}
   26	Dumped type: array{non-empty-string, non-empty-string}
   31	Dumped type: array{non-empty-string}
   39	Dumped type: list{0: non-empty-string, 1?: non-empty-string, 2?: non-empty-string}