Bleeding edge 🔪

• BackedEnum::tryFrom() and BackedEnum::from() parameter types takes enum-backing type into account (#6790), IntBackedEnum and StringBackedEnum constructor not taken in to account #11421, thanks @AJenbo!

If you want to see the shape of things to come and adopt bleeding edge features early, you can include this config file in your project's phpstan.neon:

includes:
	- vendor/phpstan/phpstan/conf/bleedingEdge.neon

Of course, there are no backwards compatibility guarantees when you include this file. The behaviour and reported errors can change in minor versions with this file included. Learn more

Improvements 🔧

• Tell the user when phpstan.phar runs without the Turbo extension (#6719), thanks @SanderMuller!
• [PHP 8.6] Allow ARRAY_FILTER_USE_VALUE as the mode of array_filter() and narrow its result (#6681), array_filter supports a new constant ARRAY_FILTER_USE_VALUE #15372, thanks @Amoifr!
• [PHP 8.6] Add a dynamic return type extension for clamp() (#6684), Add dynamic return type extension for clamp function #15366, thanks @Amoifr!
• Ignore unused function params prefixed with _ (#6743), Suppress function.unusedParameter for params starting with _ #15480, thanks @bpfoley!
• Respect @api on class constants and traits in the API rules (#6791), thanks @SanderMuller!
• Update BetterReflection
  • Move from 6.73.0 to 6.75.0
  • ReflectionParameterWithDocComment (ondrejmirtes/BetterReflection@d9b88f6)
  • Keep the engine-provided enum methods internal through the cache (ondrejmirtes/BetterReflection@38ddbf7)

Bugfixes 🐛

• Preserve property narrowing in match expression results (#6708), match expression type resolution regression (2.3) #15433, thanks @drewmt!
• Keep the list flag when a list shape is intersected with an array type (#6717), in_array() narrowing drops the list flag from a list shape with optional keys (regression in 2.1.41) #15391, thanks @janedbal!
• Keep the list flag when a list shape is intersected with an array type (#6717), in_array() narrowing drops the list flag from a list shape with optional keys (regression in 2.1.41) #15391, thanks @janedbal!
• Check open integer-range bounds for shift-left overflow (#6647), thanks @JanTvrdik!
• Stop the recursion when an enum case value reads itself (#6731), Infinite recursion on a backed enum case whose value reads its own value #15458, thanks @SanderMuller!
• Do not map mixed nested in invariant type arguments to strict mixed (#6754), Generic subclass not accepted where its own generic ancestor is expected, when the template argument contains mixed #15487, Problem with nested generic types #14002
• Ask Composer's autoloaders for the file instead of letting them include it (#6431), 2.2.13: "Cannot redeclare function" fatal error with php-standard-library/type package #15184, thanks @theodorejb!
• Invalidate the OPcache entries of included files before an autoloader runs in the autoload trap (#6742), thanks @SanderMuller!
• OversizedArrayBuilder: expand unpacked items into types directly instead of feeding synthesized TypeExpr items to the type callback (#6774), Exception on large array analysis #15510, thanks @VincentLanglet!
• Read PHP 8.6 thread-safe EG() and CG() through the exported offsets (#6785), PHP 8.6 rc4 zts segfault -> turbo extension requires rebuild for 8.6rc4-zts? #15504
• Resolve template types of method calls on a concrete generic static return type (#6695), Generic type resolution issue with method chaining when static return type breaks global generic parameter #12680, thanks @pawell67!
• Keep an explicit key of an unsealed shape as an optional never key when subtracting its offset (#6792), Precise unsealed array shape type is lost after ?? #15428
• Walk closures in array-literal arguments after their siblings (#6794), 2.3.0 regression: internal error with first-class method callable and closure in a generic array argument #15432
• Keep the analysed PHP version as the floor of a PHP_VERSION_ID < X guard (#6746), 2.3.0: property.promotedNotSupported in a PHP_VERSION_ID-guarded branch when phpVersion is fixed #15425, thanks @HawkForge!
• Skip trait methods the using class overrides by the native method's declaring class (#6798)

Performance 🏎️

• Restart process when pcov or tideways extension is loaded (#6757), Turbo 2.3.0 incompatible with Tideways #15407, thanks @staabm!
• Implement own multi extension restart manager (#6773), thanks @AJenbo!
• Cut recomputation in loop convergence and two on-demand re-walks (#6765)
• ForeachEmptyOrObjectNarrowingHelper: Prevent unnecessary work (#6766), thanks @staabm!
• Analyser: Prevent unnecessary work (#6767), thanks @staabm!
• Free and look up less: native fast paths, shared scope services, reasonless result sharing (#6768)
• Drop the @phpstan-impure tip and the PossiblyImpureCallExpr entries behind it (#6771)
• Price op-assigns as binary ops when deriving conditional expressions (#6777), Exponential analysis time with several int|float accumulators concatenated into a string in a loop (regression in 2.3.0) #15498
• Cut memory and time of analysing large array literals (#6778), High memory use when analysing large literal arrays #15452

Function signature fixes 🤖

• [PHP 8.6] Add CURLINFO_SIZE_DELIVERED and the size_delivered key to curl_getinfo() return types (#6683), curl_getinfo has new size_delivered key in PHP 8.6 #15371, thanks @Amoifr!
• Fix return types of IntlBreakIterator::create*Instance() (#6566), thanks @Enfiladeguide!

Internals 🔍

• Verify Composer's signature instead of pinning its version and checksum (#6714)
• Resolve the Windows PHP prerelease from windows.php.net's manifests (#6713)
• Accept all data provider arguments in OverridingMethodRuleTest::testBug3403() (#6737), thanks @gnutix!
• Add regression test for PHPStan incorrectly reports unhandled match cases when using ::class or get_class on a polymorphic variable #12882 (#6748), thanks @HawkForge!
• Add regression test for Type mismatch when explicitly setting an array key #11507 (#6747), thanks @HawkForge!
• Add regression test for Conditional return type in parent class stopped working since v2.1.3 #12743 (#6789), thanks @pawell67!
• Let another program that loads the phar use PHPStan Turbo (#6720), thanks @SanderMuller!
• bashunit -a is deprecated. Use bashunit assert instead. (#6761), thanks @staabm!
• Improve pcov e2e tests (#6770), thanks @staabm!
• Generate the expected turbo extension version on autoloader dump (#6784)
• Update fidry/cpu-core-counter (#6620), thanks @AJenbo!
• Mark the turbo worker extension lookup and isActive() as API (#6791), thanks @SanderMuller!
• Move exitImmediately() to ForkedChild, a shadowed class in the API (#6793), thanks @SanderMuller!
• Test the non-parse exception that stops the result cache save with a rule (#6729), thanks @SanderMuller!
• Prefix with "Restart" since the "Extension" keyword is ubiquitous in the codebase (#6796), thanks @staabm!