Repository navigation

Constant-fold `explode()` into a `ConstantArrayType` when separator, string and limit are all constant - #6123

Merged

VincentLanglet merged 7 commits into

phpstan:2.2.xfrom

phpstan-bot:create-pull-request/patch-w8ysocy

Sep 22, 2026

Merged

Constant-fold `explode()` into a `ConstantArrayType` when separator, string and limit are all constant#6123
VincentLanglet merged 7 commits into
phpstan:2.2.xfrom
phpstan-bot:create-pull-request/patch-w8ysocy

Commits on Sep 22, 2026
- Constant-fold `explode()` into a `ConstantArrayType` when separator, string and limit are all constant
  
  phpstan-bot
  authored and
  staabm
  committed
  4635bae
- Keep constant-folding explode() when one of the separators may be empty
  
  authored and
  staabm
  committed
  5f9af69
- Cover the constant-folding bail-outs of explode() with assertions
  
  authored and
  staabm
  committed
  2437279
- Also pin the explode() bail-out for an integer-range limit that is too wide
  
  authored and
  staabm
  committed
  05457fd
- Constant-fold explode() for wide and unbounded limit ranges
  
  authored and
  staabm
  committed
  46d3c7d
- Make explode() return type scope php-version aware
  
  phpstan-bot
  and
  claude
  committed
  be2705f
- Cover the pre-PHP-8 explode() result in nsrt instead of a separate test
  
  phpstan-bot
  and
  claude
  committed
  c77b85f