Bugfixes 🐛

• Treat Expr\UnaryMinus with scalar operand as scalar literal in isExprSafeToProjectThroughVariable and comparison type specifying (fixes TypeError crash) (#5557), #14542
• Unroll foreach over union of constant arrays in tryProcessUnrolledConstantArrayForeach (#5558), #7978

This release fixes 45 issues! 🎉

Improvements 🔧

• Emit virtual Assign node for List_ destructuring in foreach value position (#5504), #8075
• Narrow array key type after type-checking the key variable inside a foreach loop (#5505), #7076
• Support for static::SOME_CONST in PHPDoc (#5510), #13828, thanks @VincentLanglet!
• Allow GMP in increment/decrement operations (#5530), thanks @Firehed!

Bugfixes 🐛

• Various array fixes (#5523), #7893, #2294, #14448, #11146, #11533, #13699, #13623, #13304, #12653, #3795, #14336, #11820, #13000, #13643, #13272, #13663, #10349, #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), #13872
• Merge scope after ?-> method call to account for argument short-circuiting (#5456), #10729, thanks @VincentLanglet and @staabm!
• Track PHPDoc and modifier flags on ExportedParameterNode for result cache invalidation (#5518), #14520
• Autoloading should not be invoked for any string (#5519), #14514, #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), #14526
• Fix: False positive: Conditional return type takes the wrong branch (#5362), #11565, thanks @VincentLanglet and @staabm!
• Fix: Allow readonly property init in child classes on PHP 8.4+ (#5513), #12871, thanks @predictor2718!
• Project narrowings through stored booleans for more expression kinds (#5528), #9455, #5207
• Track array_walk by-ref closure parameter modifications on array type (#5527), #14525
• Merge conditional-expression holders for the same target (#5529), #12677
• Project stored-boolean narrowings through || truthy, Track destructure relationships across tagged-union foreach (#5531), #9519
• Fix: Template of imported type breaks imported type (#5360), #11314, #7152, #13332, thanks @VincentLanglet and @staabm!
• Track $arr[$key] existence across array_key_first/last + !== null (#5537)
• Preserve TemplateArrayType across offset writes and traversal (#5553), #10749
• Two-stage collapse for oversized constant arrays (#5555), #8636
• Fix callable array intersection type offset narrowing (#5548), #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), #14519, thanks @madmajestro!
• Declare Memcached methods as impure (#5536), #13444, #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), #2940, thanks @VincentLanglet!
• Add non regression test (#5545), #4352, thanks @VincentLanglet!

Improvements 🔧

• Include argument index in dumpType message to preserve argument order (#5503), #14508

Bugfixes 🐛

• Fix ReflectionGetAttributesMethodReturnTypeExtension for UnionTypes (#5463), #14466, thanks @VincentLanglet and @staabm!
• Fix ErrorType leaking from array_key_exists with union key types in loops (#5487), #14489, thanks @VincentLanglet and @staabm!
• Fix infinite loop on recursive trait (#5488), thanks @samsonasik!
• Do not re-wrap NeverType as TemplateMixedType in TemplateUnionType::filterTypes() (#5500), #14504
• Read class-constant @var type without triggering @extends resolution (#5502), #14501

Internals 🔍

• Improve UnionType::accepts() (phpstan/phpstan-src@5cfa80a)

Bugfixes 🐛

• Fix broken type narrowing with larger union types (phpstan/phpstan-src@77a3244), #14484

Function signature fixes 🤖

• Declare multiple mysqli_ functions as impure (#5481), #14473, thanks @VincentLanglet and @staabm!

Bugfixes 🐛

• Use declared property type instead of scope-narrowed type when inferring generic new expression types (#5467), #11844, thanks @VincentLanglet and @staabm!

Performance 🏎️

• Use pairwise TypeCombinator::intersect folding for conditional expression holders to avoid exponential union distribution (#5482), #14475
• Fix more cases (#5482), #14475
• More pair-wise intersect (#5482), #14475
• Avoid 2^N getAllArrays() expansion in implode() return type extension (#5482), #14475
• Avoid 2^N getAllArrays() expansion in ConstantArrayType::getFiniteTypes() (#5482), #14475
• Bail early in TypeUtils::flattenTypes() to avoid 2^N getAllArrays() expansion (#5482), #14475
• Batch unionWith in specifyTypesForFlattenedBooleanOr falsey path to avoid O(N²) (phpstan/phpstan-src@7eab3d2)
• Add flattening optimization for deep BooleanAnd chains in truthy context (phpstan/phpstan-src@3f5f2de)
• Use hash map for O(1) key lookup in ConstantArrayType (phpstan/phpstan-src@8019f65)
• Fix infinite hang when analysing src/wp-includes/user.php in wordpress-develop (#5485)

Function signature fixes 🤖

• Update session_set_save_handler $gc parameter (#5474), thanks @sreichel!

Internals 🔍

• Fix PHPUnit warning (#5484), thanks @VincentLanglet!

Improvements 🔧

• Report promoted properties with readonly or hooks as always unitialized (cannot be unset) (#5452), #14459

Bugfixes 🐛

• Preserve list type in ConstantArrayType::spliceArray when all keys are integers (#5480), #14472, thanks @VincentLanglet and @staabm!
• Generalize dynamicConstantNames constants to PHPDoc type if present (#5457), #9218, thanks @VincentLanglet and @staabm!
• Use position-specific getOffsetValueType() instead of getIterableValueType() when intersecting two ConstantArrayTypes (#5468), #11234, thanks @VincentLanglet and @staabm!

Performance 🏎️

• Fix for performance issue (phpstan/phpstan-src@6586de9), #14462

Internals 🔍

• Add regression test for @var annotation before foreach not defining the expression variable (#5458), #6688, thanks @VincentLanglet and @staabm!

Major new features 🚀

• bisect command (#5431), #14443
  • Find the first PHPStan commit that introduced a regression
  • This command performs a binary search over PHPStan releases, similar to git bisect
  • Learn more »

Improvements 🔧

• Detect more AI agents (#5375), thanks @staabm!
• Add hint in VarTagTypeRuleHelper (#5400), thanks @VincentLanglet!
• Implement GMP operator type specifying extension (#5223), #14288, thanks @Firehed!
• Respect sys_temp_dir from the parent process (#5390), #14093, thanks @theodorejb!
• Update Symfony polyfills (phpstan/phpstan-src@9c3b62d)

Bugfixes 🐛

• Fix: !in_array with enum values incorrectly narrows to NEVER (#5365), #14407, #13421, #8864, thanks @VincentLanglet and @staabm!
• Fix: PHPStan assumes string conversions cannot throw exceptions (#5391), #13806, thanks @VincentLanglet and @staabm!
• Fix ObjectType::equals (#5399), #3028, #14429, #5298, thanks @VincentLanglet!
• Fix: Two unbounded generics in conditional return are assumed to be always the same (#5336), #11430, thanks @VincentLanglet and @staabm!
• Fix: \settype() is not handled properly (#5404), #3250, thanks @VincentLanglet and @staabm!
• Fix: Call to function is_callable() with array{...} will always evaluate to true (#5409), #12063, #4608, thanks @VincentLanglet and @staabm!
• Fix: Allow throwing exceptions from __toString() not detected since level 4 (#5405), #5952, thanks @VincentLanglet and @staabm!
• Fix: Adding elements to empty array in while loop does not result in array being recognized as potentially non-empty for in_array (#5419), #13705, thanks @VincentLanglet and @staabm!
• Fix: Ordering of Intersections matters for method calls, first matching wins (#5408), #11978, thanks @VincentLanglet and @staabm!
• Fix: Nullsafe operator chaining (#5407), #11073, thanks @VincentLanglet and @staabm!
• exit function is not internal, change isInternal method to return 'No' (#5420), thanks @spaze!
• Fix infinite recursion in ConstantArrayType::isCallable() via RecursionGuard (#5423), thanks @MizouziE!
• Fix infinite loop (#5426), #14439, #4957, thanks @staabm and @VincentLanglet!
• Preload polyfills in the PHAR (#5436), #14432
• Update BetterReflection to 6.70.0 (phpstan/phpstan-src#5429)
  • Fixes: Readonly property modification through clone() is not reported outside allowed scope (#5432), #14063, thanks @VincentLanglet and @staabm!
• Support for covariant templates in interface properties in 8.4 (#5415), #12964, thanks @VincentLanglet and @staabm!
• Fix incorrect type-narrowing when using strict rules (#5435), #14446, thanks @VincentLanglet and @staabm!
• Do not report generic covariant issue without strict check (#5437), thanks @VincentLanglet!
• Fix: Conditional argument type not properly narrowing type (#5386), #10055, #13591, #12597, #10422, #6663, #4090, #11218, thanks @VincentLanglet and @staabm!

Performance 🏎️

• TypeCombinator::union optimization in case of many *NEVER* (#5374), thanks @SanderMuller!
• Do fast check first (#5396), thanks @VincentLanglet!
• List the most-often-analysed trait files in -vvv (#5395), #14073, thanks @VincentLanglet and @staabm!
• Fix performance degradation introduced in 2.1.41 (#5441), #14452, thanks @VincentLanglet!

Internals 🔍

• TypeCombinator: Remove always true condition (#5383), thanks @staabm!
• Prevent duplicate argument re-normalizing (#5393), thanks @staabm!
• Add authors section in composer.json (#5389), thanks @VincentLanglet!
• Added regression test (#5425), #8835, thanks @staabm!
• Upgrade Dead Code Detector to 1.0.0 (#5430), thanks @janedbal!
• Add non regression test (#5442), thanks @VincentLanglet!
• Fix non regression test (#5444), thanks @VincentLanglet!
• Remove wrong specification (#5445), thanks @VincentLanglet!
• bisect: advertise gzip,deflate encoding when supported (#5434), thanks @staabm!

Improvements 🔧

• Properly union HasOffsetValueType in huge intersections describing the same offsets (phpstan/phpstan-src@429723d)

Bugfixes 🐛

• Fix sealed class-string match exhaustiveness for ::class comparisons (#5305), #12241, thanks @mhert!
• Fix sealed class-string match exhaustiveness for generic sealed hierarchies (#5369), #14412
• Fix incorrect type narrowing with dependent types (#5373), #14411, #11328, #10085, #14211, thanks @VincentLanglet and @staabm!
• Fix false positive contravariant parameter with nested trait (#5244), #14320
• Properly preserve TemplateConstantArrayType (phpstan/phpstan-src@c71be49), #12355, #9828

Performance 🏎️

• TypeCombinator::union optimizations (#5325), thanks @SanderMuller!

This release fixes 29 issues!

In other news, we refreshed the on-line playground! You can now set many previously-unavailable config parameters:

This helps you testing out various PHPStan features, and also reproduce issues for bug reports when something goes wrong with these parameters set to their non-default values.

Also, there's a couple of new blogposts on the website:

• Why Array String Keys Are Not Type-Safe in PHP
• Using PHPStan to Extract Data About Your Codebase

Improvements 🔧

• More rules about PHPDoc tags declarations now validate stub files (phpstan/phpstan-src@610537a)

Bugfixes 🐛

• Fix: errors for argument array template types no longer reported (argument.type) (#5300), #14138, thanks @VincentLanglet and @staabm!
• Fix: Result of function_exists() can't be "cached" (#5303), #14384, thanks @staabm and @VincentLanglet!
• Fix: Optional templated args not provided cause unbound template errors (#5175), #2572, #7704, #9360, thanks @staabm and @VincentLanglet!
• Resolve generic parameter defaults that reference other template parameters (#5304), thanks @JanTvrdik!
• Fix: array_filter with assert-if-true callable marks all keys optional (#5097), #11730, thanks @staabm and @VincentLanglet!
• Fix: assign.readOnlyProperty (#5061), #12253, thanks @VincentLanglet and @staabm!
• Fix: Bogus write-only error when appending to an array-like object in private class property (#5102), #6777, thanks @VincentLanglet and @staabm!
• Fix: Cannot use "T is never" in conditional return (#5082), #9634, #10938, thanks @VincentLanglet and @staabm!
• Fix: [NAN] === mixed is always evaluated as false (#5321), #11054, thanks @staabm and @VincentLanglet!
• Fix: Parameter #2 $callback of function uasort expects callable(Foo, Foo): int, 'strnatcasecmp' given. (#5171), #11619, thanks @VincentLanglet and @staabm!
• Fix: Does not warn about non-nullable class-property (#5327), #14393, #4846, thanks @VincentLanglet and @staabm!
• Fix: Incorrect inference of instance variable modified from callback (#5347), #8926, #11417, #10903, thanks @staabm and @VincentLanglet!
• TypeSpecifier: resolve purity/impurity for CallableParametersAcceptor (#5348), #12686, #3770, #6822, thanks @staabm and @VincentLanglet!
• filter_var: Fix throw on failure with require/force array (#5349), thanks @VincentLanglet!
• Fix: FILTER_FLAG_GLOBAL_RANGE constant not "known" on PHP 8.3, 8.4 (#5334), #14397, thanks @VincentLanglet and @staabm!
• Fix: Narrowed template on an interface is ignored when generics is not specified (#5339), #9045, #7185, #13204, thanks @VincentLanglet and @staabm!
• Fix: Consequent scope with the same condition (#5056), #4173, #12992, #14227, thanks @VincentLanglet and @staabm!

Performance 🏎️

• Flatten deep BooleanOr chains in TypeSpecifier to avoid O(n^2) recursion (#5324), thanks @SanderMuller!

Internals 🔍

• More named arguments (phpstan/phpstan-src@38036bf)
• Simplify StubValidator rule list, introduce #[ValidatesStubFiles] attribute (phpstan/phpstan-src@b9839ac)
• StubValidator - call StubFilesProvider on the original DIC, not on the stubValidator one (phpstan/phpstan-src@47f36d8)
• Added regression test (#5306), #10924, thanks @staabm!
• Added regression test (#5313), #4918, thanks @staabm!

Bugfixes 🐛

• Docker images builds are working again (2.1.41 – 2.1.43 are missing, sorry)
• Docker images are now built for PHP 8.5 too
• Display the correct number of processes used, when using --debug (#5294), #14342, thanks @esthezia!
• Fix: Intersection loses __invoke() return type (#5291), #14362, thanks @VincentLanglet and @staabm!
• Fix: Null coalescing assignment operator combined with throwing (#5297), #14369, thanks @VincentLanglet and @staabm!
• Fix method call on unioned class type analysis is broken (#5225), #11687, #12562, #14203, thanks @VincentLanglet!