Major new features 🚀

• bisect command (#5431), bisect command #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), GMP operator overloading false-positive errors #14288, thanks @Firehed!
• Respect sys_temp_dir from the parent process (#5390), Failed to create phpstan directory (mkdir(): Permission denied) on Windows 11 #14093, thanks @theodorejb!
• Update Symfony polyfills (phpstan/phpstan-src@9c3b62d)

Bugfixes 🐛

• Fix: !in_array with enum values incorrectly narrows to NEVER (#5365), !in_array with enum values incorrectly narrows to *NEVER* #14407, Filtered array of enum incorrectly narrowed to empty array #13421, in_array check on an array with optional keys seems buggy #8864, thanks @VincentLanglet and @staabm!
• Fix: PHPStan assumes string conversions cannot throw exceptions (#5391), PHPStan assumes string conversions cannot throw exceptions #13806, thanks @VincentLanglet and @staabm!
• Fix ObjectType::equals (#5399), Fatal error not caught due to missing template covariance check #3028, Treat PHPDocTypes as certain:false being ignored #14429, Undetected template invariance violation with arrays #5298, thanks @VincentLanglet!
• Fix: Two unbounded generics in conditional return are assumed to be always the same (#5336), Two unbounded generics in conditional return are assumed to be always the same #11430, thanks @VincentLanglet and @staabm!
• Fix: \settype() is not handled properly (#5404), \settype() is not handled properly #3250, thanks @VincentLanglet and @staabm!
• Fix: Call to function is_callable() with array{...} will always evaluate to true (#5409), Call to function is_callable() with array{...} will always evaluate to true #12063, Treat all possible dynamic method invocations the same way #4608, thanks @VincentLanglet and @staabm!
• Fix: Allow throwing exceptions from __toString() not detected since level 4 (#5405), Allow throwing exceptions from __toString() not detected since level 4 #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), Adding elements to empty array in while loop does not result in array being recognized as potentially non-empty for in_array #13705, thanks @VincentLanglet and @staabm!
• Fix: Ordering of Intersections matters for method calls, first matching wins (#5408), Ordering of Intersections matters for method calls, first matching wins #11978, thanks @VincentLanglet and @staabm!
• Fix: Nullsafe operator chaining (#5407), Nullsafe operator chaining #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), infinite loop when using parent in phpdoc #14439, Using "parent" in generics, phpstan.org results with an error, unable to copy link #4957, thanks @staabm and @VincentLanglet!
• Preload polyfills in the PHAR (#5436), Internal error: Argument 2 passed to PHPStan\Type\FileTypeMapper::getNameScopeKey() must be of the type string or null, bool given #14432
• Update BetterReflection to 6.70.0 (Update BetterReflection phpstan-src#5429)
  • Fixes: Readonly property modification through clone() is not reported outside allowed scope (#5432), Readonly property modification through clone() is not reported outside allowed scope #14063, thanks @VincentLanglet and @staabm!
• Support for covariant templates in interface properties in 8.4 (#5415), Support for covariant templates in interface properties in 8.4 #12964, thanks @VincentLanglet and @staabm!
• Fix incorrect type-narrowing when using strict rules (#5435), Incorrect type-narrowing when using strict rules #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), Conditional argument type not properly narrowing type (for constant string unions?) #10055, False positive: Type narrowing not working with conditional exception validation #13591, 'Variable might not be undefined' in if-statement after in_array check. #12597, Conditional else can cause inferred type to change #10422, conclude a type in a nested IF #6663, Array detected as empty while it cannot #4090, For loop - Variable might not be defined even if it is defined #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), Performance - list the most-often-analysed trait files in -vvv (DiagnoseExtension) #14073, thanks @VincentLanglet and @staabm!
• Fix performance degradation introduced in 2.1.41 (#5441), Performance degradation introduced in 2.1.41 #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), Reference to self:: constant in @implements leads "Allowed memory size of ... bytes exhausted" #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!