This release fixes 45 issues! 🎉

Improvements 🔧

• Emit virtual Assign node for List_ destructuring in foreach value position (#5504), Array destructuring of item in foreach is not properly checked #8075
• Narrow array key type after type-checking the key variable inside a foreach loop (#5505), Remember type narrowing outside of a foreach loop when the narrowing happens inside the loop #7076
• Support for static::SOME_CONST in PHPDoc (#5510), Reference to static const behaves as self const #13828, thanks @VincentLanglet!
• Allow GMP in increment/decrement operations (#5530), thanks @Firehed!

Bugfixes 🐛

• Various array fixes (#5523), Cannot access an offset on array<int, string>|int. #7893, False positive "Offset does not exist" when populating with foreach #2294, False positive remaining after update from 2.1.39 to 2.1.46 #14448, False positive Comparison operation ">" between int<1, max> and 0 is always true. on non simple array unset #11146, Foreach to check the type of array is not taken into account #11533, Cannot access offset in array with condition #13699, Array offset exists false positive #13623, property_exists cannot narrow type when property is a union #13304, Flag manipulation and array value substitution within a loop causes unintended type #12653, Support looping over array_key_exists with a list of keys #3795, assign any-int in a loop should turn list into array #14336, missing type narrowing of isset in loop #11820, Help phpstan understand what shape array has been created when looping over an array with known shape #13000, Refining array type in loops only works for the first iteration #13643, dynamic function names (as variables) not recognizes in certain cases #13272, Array type incorrectly adjusted in loop scenario #13663, Binary operation: only first operation in a loop gets flagged + two more issues #10349, Cannot assign new offset to array #8648
  • Preserve constant array when assigning a union of scalars
  • Preserve tracked nested ArrayDimFetch types through chained assignments
  • More precise analysis for foreach iterating over constant array
• Resolve ConditionalTypeForParameter children before converting to ConditionalType to prevent infinite traversal (#5507), PHPStan goes OOM on specific class #13872
• Merge scope after ?-> method call to account for argument short-circuiting (#5456), Nullsafe operator short-circuits argument evaluation (false negative) #10729, thanks @VincentLanglet and @staabm!
• Track PHPDoc and modifier flags on ExportedParameterNode for result cache invalidation (#5518), Missing result cache invalidation after modifying the @var annotation associated to a promoted property #14520
• Autoloading should not be invoked for any string (#5519), Arrays with 'index' as an element cause autoloader events #14514, If an operation on a value of type A is pure, then it also pure on a value of type A&B #14511, thanks @staabm!
• More precise tracking $value in foreach (#5526)
• Correctly mark all unpacked constant array items as optional in array_merge/array_replace (#5525), Wrong assumption about array_merge result #14526
• Fix: False positive: Conditional return type takes the wrong branch (#5362), False positive: Conditional return type takes the wrong branch #11565, thanks @VincentLanglet and @staabm!
• Fix: Allow readonly property init in child classes on PHP 8.4+ (#5513), Initialize read-only properties in child classes #12871, thanks @predictor2718!
• Project narrowings through stored booleans for more expression kinds (#5528), Bug: False report Cannot call method getId() on A|null #9455, False positive when a check is done with a boolean variable instead of directly in the if. #5207
• Track array_walk by-ref closure parameter modifications on array type (#5527), More precise array_walk analysis #14525
• Merge conditional-expression holders for the same target (#5529), Null check is forgotten when using null coalescing or ternary #12677
• Project stored-boolean narrowings through || truthy, Track destructure relationships across tagged-union foreach (#5531), Moving (instanceof A || instanceof B) from if statement causes error #9519
• Fix: Template of imported type breaks imported type (#5360), Template of imported type breaks imported type #11314, Custom types not working when extending generic #7152, False positive generics.notSubtype if a type defined by @phpstan-type is used to limit the generic type #13332, thanks @VincentLanglet and @staabm!
• Track $arr[$key] existence across array_key_first/last + !== null (#5537)
• Preserve TemplateArrayType across offset writes and traversal (#5553), Problem with offsetSet() with generic ArrayAccess #10749
• Two-stage collapse for oversized constant arrays (#5555), Oversimplified huge const array #8636
• Fix callable array intersection type offset narrowing (#5548), [need help] array&callable annotation #3842, thanks @VincentLanglet and @staabm!

Performance 🏎️

• Cache class constant fetch type (phpstan/phpstan-src@a8704ac)

Function signature fixes 🤖

• Make bcround pure (#5499), thanks @still-dreaming-1!
• Make bcfloor, bcceil pure (#5509), thanks @staabm!
• Declare multiple apcu_ functions as impure (#5516), Incorrect identical.alwaysFalse on second call to apcu_fetch() #14519, thanks @madmajestro!
• Declare Memcached methods as impure (#5536), Recognize the \Memcached::cas() can change the \Memcached::getResultCode() #13444, phpstan-all-method-impure seems to be ignored for native class #14534, thanks @VincentLanglet!

Internals 🔍

• BenchCase - enable Bleeding Edge (phpstan/phpstan-src@99c018e)
• Revert fix (#5520), thanks @staabm!
• Fix PHPUnit warnings (#5522), thanks @staabm!
• Add non regression test (#5540), [Doc block] Strange behaviour when using large array inputs #2940, thanks @VincentLanglet!
• Add non regression test (#5545), Typehint not trusted if code is inside method #4352, thanks @VincentLanglet!