Add `setSpecifyOnly()` on `SpecifiedTypes` to replace FAUX function call workarounds#5769

Open

phpstan-bot wants to merge 5 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