Repository navigation

Add `TypeTraverser::mapMemoized()` - #6652

Merged

staabm merged 25 commits into

phpstan:2.3.xfrom

phpstan-bot:create-pull-request/patch-6ifasb5

Oct 5, 2026

Commits on Oct 5, 2026
- Add `TypeTraverser::mapMemoized()` and compare shared array shape offset values once in `ConstantArrayType::accepts()`
  
  staabm
  and
  claude
  committed
  6787a50
- Test that a repeated missing iterable value type is reported once regardless of Type instance sharing
  
  authored and
  staabm
  committed
  a4bd7b1
- bug number the duplicate error problem
  staabm
  committed
  3b58c9d
- free the memo after traversal
  staabm
  committed
  2dd83cc
- revert hallucination
  staabm
  committed
  e5f1db7
- Revert "revert hallucination"
  staabm
  committed
  c12cb48
- Test that a repeated non-generic object type of a generic class is reported once regardless of Type instance sharing
  
  authored and
  staabm
  committed
  3decdf4
- Collect only by key or by flag in TypeTraverser::mapMemoized() callbacks
  
  authored and
  staabm
  committed
  25fd8b5
- Use TypeTraverser::mapMemoized() for callbacks independent of where and how often a type occurs
  
  authored and
  staabm
  committed
  8aa5634
- Add a rule choosing between TypeTraverser::map() and mapMemoized() by the mapMemoized() contract
  
  authored and
  staabm
  committed
  113e80b
- Hook TypeTraverserMapMemoizedRule on StaticCall
  
  authored and
  staabm
  committed
  5b95472
- Keep TypeTraverser::map() in GenericObjectTypeCheck::getGenericTypes()
  
  authored and
  staabm
  committed
  f4eaf3f
- Leave callbacks collecting by spl_object_id() to TypeTraverser::map()
  
  authored and
  staabm
  committed
  3a769e8
- Make TypeTraverserMapMemoizedRule a regular rule
  
  authored and
  staabm
  committed
  fc1a238
- Drop the tests/ ignore for TypeTraverserMapMemoizedRule
  
  authored and
  staabm
  committed
  9374711
- Drop auto-fixing from TypeTraverserMapMemoizedRule
  
  authored and
  staabm
  committed
  d81481c
- Revert the ConstantArrayType::checkOurKeys() accepts() cache
  
  authored and
  staabm
  committed
  82cee5b
- Remove TypeTraverserMapMemoizedRule
  
  authored and
  staabm
  committed
  84388f6
- Use TypeTraverser::mapMemoized() only on the hot paths of big array shapes
  
  authored and
  staabm
  committed
  eb8f2d2
- Revert merging template errors of all callables in GenericCallableRuleHelper
  
  authored and
  staabm
  committed
  da93e58
- Revert LocalTypeAliasesCheck::hasErrorType() to TypeTraverser::map()
  
  authored and
  staabm
  committed
  8435521
- Revert the lazy verbosity in ObjectShapeType::accepts()
  
  authored and
  staabm
  committed
  b13d051
- Bump expected turbo version
  staabm
  committed
  6f1568e
- cleanup
  staabm
  committed
  daff12b
- Bump expected turbo version
  staabm
  committed
  459355c

Navigation Menu

Repository navigation

Add `TypeTraverser::mapMemoized()` - #6652

Add `TypeTraverser::mapMemoized()`#6652
staabm merged 25 commits into
phpstan:2.3.xfrom
phpstan-bot:create-pull-request/patch-6ifasb5

Commits on Oct 5, 2026

Add `TypeTraverser::mapMemoized()` and compare shared array shape offset values once in `ConstantArrayType::accepts()`

Test that a repeated missing iterable value type is reported once regardless of Type instance sharing

bug number the duplicate error problem

free the memo after traversal

revert hallucination

Revert "revert hallucination"

Test that a repeated non-generic object type of a generic class is reported once regardless of Type instance sharing

Collect only by key or by flag in TypeTraverser::mapMemoized() callbacks

Use TypeTraverser::mapMemoized() for callbacks independent of where and how often a type occurs

Add a rule choosing between TypeTraverser::map() and mapMemoized() by the mapMemoized() contract

Hook TypeTraverserMapMemoizedRule on StaticCall

Keep TypeTraverser::map() in GenericObjectTypeCheck::getGenericTypes()

Leave callbacks collecting by spl_object_id() to TypeTraverser::map()

Make TypeTraverserMapMemoizedRule a regular rule

Drop the tests/ ignore for TypeTraverserMapMemoizedRule

Drop auto-fixing from TypeTraverserMapMemoizedRule

Revert the ConstantArrayType::checkOurKeys() accepts() cache

Remove TypeTraverserMapMemoizedRule

Use TypeTraverser::mapMemoized() only on the hot paths of big array shapes

Revert merging template errors of all callables in GenericCallableRuleHelper

Revert LocalTypeAliasesCheck::hasErrorType() to TypeTraverser::map()

Revert the lazy verbosity in ObjectShapeType::accepts()

Bump expected turbo version

cleanup

Bump expected turbo version