Improvements 🔧

• Improve DateInterval inference (#5486), DateInterval::createFromDateString wrong return type for 8.3+ #14479, thanks @VincentLanglet!
• Next autoindexes can be empty and setOffsetValueType with null offsetType returns ErrorType (phpstan/phpstan-src@5e793f7)

Bugfixes 🐛

• Process unrolled foreach iteration body in original context to let nested loops stabilize (#5559), Weird type of array variable when it is filled in foreach #9332, Since 2.1.52 nested foreach over non-empty-list<T> narrows accumulated array to exact count #14543
• Preserve conditional expressions in invalidateExpression when requireMoreCharacters is true (#5560), Stored result of instanceof is consumed after the first check #14545
• Recognize [$obj, $method] as callable when is_callable($obj, $method) is known true in scope (#5547), callable verified by method_exists is not detected as callable in function scope #4510, thanks @VincentLanglet and @staabm!
• Replace instead of union when writing to optional keys via union offset in ConstantArrayTypeBuilder (#5566), Since 2.1.52 subsequent nested-key writes in foreach over finite literal-string keys are tracked as optional #14551
• Check isFirstClassCallable() before calling getArgs() on nested FuncCall nodes (#5564), crash with first class callable array_* functions #14550, thanks @staabm and @VincentLanglet!
• Preserve non-empty array guarantee in ConstantArrayType::setOffsetValueType when union key expansion produces all-optional keys (#5567), Since 2.1.52 foreach over non-empty-list with finite literal-string key produces possibly-empty array shape #14552, Complex rules using @return-phpstan seem to no longer work with PHPStan 2.1.53 #14553

Performance 🏎️

• Cache methods in IntersectionType (phpstan/phpstan-src@c161e9f)