Create cross-kind conditional expression holders in `BooleanAnd`/`BooleanOr` type specifier with truthy fallback for `isset()`#5760

Merged

VincentLanglet merged 7 commits into

phpstan:2.2.xfrom

phpstan-bot:create-pull-request/patch-49y396c

May 30, 2026

Commits on May 29, 2026

Create cross-kind conditional expression holders in `BooleanAnd`/`BooleanOr` type specifier with truthy fallback for `isset()`
VincentLanglet
committed
Use PHPDoc mixed type instead of native mixed for PHP 7.4 compatibility

authored and
VincentLanglet
committed
Add regression tests for issues #11918, #3385, #6202, #14455

authored and
VincentLanglet
committed
Restrict isset() truthy fallback to pure false context in BooleanAnd holders

phpstan-bot
and
claude
committed
Add regression test for negated BooleanAnd conditional holders in mixed context

phpstan-bot
and
claude
committed
Run the isset() truthy fallback in the mixed truthy-and-false context too

phpstan-bot
and
claude
committed
Use less verbose comments in BooleanAnd conditional holder re-derivation

phpstan-bot
and
claude
committed