Fix #11923: Match class-type

[phpstan-bot]

Summary

When using a match expression with a ternary subject like match ($request ? $request::class : null), PHPStan failed to narrow $request's type in each match arm. For example, in the RequestA::class arm, $request remained object|null instead of being narrowed to RequestA, causing false-positive errors about property access on object|null and argument type mismatches.

Changes

• Added ternary expression decomposition in TypeSpecifier::resolveNormalizedIdentical() (src/Analyser/TypeSpecifier.php)
• When processing ($cond ? $trueExpr : $falseExpr) === $value in truthy context, determines which ternary branch can produce the matched value by checking type compatibility
• If only the true branch can match (false branch type is incompatible with the value), narrows the ternary condition as truthy and recurses on $trueExpr === $value
• If only the false branch can match (true branch type is incompatible with the value), narrows the ternary condition as falsy and recurses on $falseExpr === $value
• The true branch type is evaluated in a truthy-narrowed scope, so $request::class is computed with $request narrowed from ?object to object

Root cause

TypeSpecifier::resolveNormalizedIdentical() had specific pattern recognition for $expr::class === 'ClassName' comparisons, but when the match subject was a ternary expression like $request ? $request::class : null, the ternary wrapper prevented the $expr::class pattern from being recognized. The fix decomposes the ternary by determining which branch can produce the matched value and then recurses with the appropriate branch, allowing the existing ::class narrowing logic to apply.

Test

Added regression test tests/PHPStan/Analyser/nsrt/bug-11923.php that verifies:

• $request is narrowed to null in the null => match arm
• $request is narrowed to RequestA in the RequestA::class => arm
• $request is narrowed to RequestB in the RequestB::class => arm
• Direct $request::class match subject (non-nullable) also works correctly

Fixes phpstan/phpstan#11923