Replace FAUX function call workarounds#5769

Open

phpstan-bot wants to merge 15 commits into

phpstan:2.2.xfrom

phpstan-bot:create-pull-request/patch-7xy6xo5

Commits on May 27, 2026

Add `setShouldNotImplyOppositeCase()` on `SpecifiedTypes` to replace FAUX function call workarounds
VincentLanglet
committed
Add comment explaining why shouldNotImplyOppositeCase causes early return

authored and
VincentLanglet
committed
Rename `shouldNotImplyOppositeCase` to `shouldNotDetermineCheckResult`

authored and
VincentLanglet
committed
Rename `shouldNotDetermineCheckResult` to `specifyOnly`

authored and
VincentLanglet
committed
Keep rootExpr for equality assertions, move specifyOnly after rootExpr check

authored and
VincentLanglet
committed
Rework
VincentLanglet
committed
Remove unused specifyOnly flag, document setRootExpr

phpstan-bot
and
claude
committed
Add duplicate call detection for rootExpr-based type specifying

phpstan-bot
and
claude
committed
Remove duplicate array_key_exists check

phpstan-bot
and
claude
committed

Commits on May 28, 2026