Repository navigation

Treat `match (true)` as exhaustive when the arms' falsey narrowing leaves an expression typed `never` - #6956

Merged

staabm merged 4 commits into

phpstan:2.3.xfrom

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

Nov 5, 2026

Merged

Treat `match (true)` as exhaustive when the arms' falsey narrowing leaves an expression typed `never`#6956
staabm merged 4 commits into
phpstan:2.3.xfrom
phpstan-bot:create-pull-request/patch-pcc8ibq

Commits on Nov 5, 2026
- Treat `match (true)` as exhaustive when the arms' falsey narrowing leaves an expression typed `never`
  VincentLanglet
  committed
  ca00094
- Cover `match (false)` with assert-if-false and asserts on `$this->prop` in bug-11374 test
  
  authored and
  VincentLanglet
  committed
  d6dee68
- Regenerate MatchHandler turbo declarations for hasExpressionNarrowedToNever()
  
  authored and
  VincentLanglet
  committed
  f612885
- Do not check certainty in hasExpressionNarrowedToNever()
  
  authored and
  VincentLanglet
  committed
  cdf764a