Answer `UnionType` comparisons from an identity-keyed `FiniteTypeSet` instead of scanning every member - #6116

Open

phpstan-bot wants to merge 20 commits into

phpstan:2.2.xfrom

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

Commits on Jul 31, 2026

Answer `UnionType` comparisons from an identity-keyed `FiniteTypeSet` instead of scanning every member
staabm
committed
Update FiniteTypeSetTest.php
staabm
committed
Key a `FiniteTypeSet` member from `get_class()` instead of asking the type

authored and
staabm
committed
Compare two `FiniteTypeSet`s with one `array_diff_key()`

authored and
staabm
committed
Revert the `SkipTestsWithRequiresPhpAttributeRule` reordering

authored and
staabm
committed
Name the enum fixtures by string in `FiniteTypeSetTest`

authored and
staabm
committed
Pin the `FiniteTypeSet` branches the reference matrix only reaches sideways

authored and
staabm
committed
Answer `isSubTypeOf()` against a single value from the `FiniteTypeSet` too

authored and
staabm
committed
simplify
staabm
committed
Ask every member for `isClassString()` in `hasClassStringMember()`

phpstan-bot
authored and
staabm
committed
Pin the repeated-value branch of `FiniteTypeSet::create()`

authored and
staabm
committed
Baseline the `EnumCaseObjectType` instanceof errors instead of ignoring them inline

authored and
staabm
committed
cleanup instanceof
staabm
committed
Revert "cleanup instanceof"
staabm
committed
remove get_class() based matching
staabm
committed
cleanup `instanceof EnumCaseObjectType`
staabm
committed
Create big-constant-int-union.php
staabm
committed
simplify
staabm
committed
Update FiniteTypeSet.php
staabm
committed
drop `/** @internal */`
staabm
committed