This release fixes 71 issues! 🎉

It's only been 12 days since the last release, but both @staabm and @VincentLanglet have been hard at work. For the first time ever, PHPStan has more people with merge rights aside from @ondrejmirtes, and the increase in productivity is awesome!

Improvements 🔧

• Introduce rawMessages key in ignoreErrors (#4929), thanks @VincentLanglet!
• Infer non-empty-ness after count($a) == count($b) (#4470), thanks @staabm!
• Report class.nameCase error when the wrong case is just in return type (#4890), class.nameCase error is not reported when the wrong case is just in return type #11470
• Allow ternary type narrowing in assert and truthy contexts (#4915), Ternary does not narrow type #14100
• Add ClassConstantReflection::isFinalByKeyword() method (#5022), Add RealClassClassConstantReflection::isFinalByKeyword() for native final class constant #14171, thanks @samsonasik!

Bugfixes 🐛

• Fix GMP::toNumber (#4867), GMP operations with operator overloads give false-positive errors #12123, Detect array_sum|product array elements of castable/non-castable types #13775, thanks @VincentLanglet!
• Respect original variable type when using extract on optional keys (#4450), extract() applied to an array with optional keys should not mark the corresponding extracted variables as potentially undefined #12364, thanks @VincentLanglet!
• Fix: Switch statement does not narrow down types based on branch conditions (#4879), Switch statement does not narrow down types based on branch conditions #13211
• Fix: Possible type loss when binding variables with 'use' in anonymous function (#4882), Possible type loss when binding variables with 'use' in anonymous functions #12875
• Fix: Calling ReflectionClass::isSubclassOf() multiple times doesn't narrow types correctly in 8.4 (#4883), Calling ReflectionClass::isSubclassOf() multiple times doesn't narrow types correctly in 8.4 #13783
• Fix: False positive error for 'match' operator (#4888), False positive error for 'match' operator #5191
• Fix: Variadic arrow function argument triggers "Cannot access offset 0 on mixed" and related errors (#4887), Variadic arrow function argument triggers "Cannot access offset 0 on mixed" and related errors #10671
• Fix: Existing function used in Closure::bind leads to "Call to an undefined method" error (#4886), Existing function used in Closure::bind leads to "Call to an undefined method" error #4865
• Fix: Loadable classes not recognized since 2.1.34 release (#4891), Loadable classes not recognized since 2.1.34 release #14036, False positives on 2.1.39 #14099, thanks @staabm!
• Fix invokable objects incorrectly labeled as instances of Closure (#4797), Invokable objects incorrectly labeled as instances of \Closure #13975, thanks @HypeMC!
• Fix: match.unhandled on multiple booleans (#4881), match.unhandled on multiple booleans #13303, "Negated boolean expression is always true" should be reported regardless of the "Treat PHPDoc types as certain" setting #11903, non-empty-array type not detected when empty() condition is combined with a boolean one #7008, thanks @staabm!
• Preserve HasOffsetValueType for constant array spreads in degraded array literals (#4897), phpstan does not recognize keys after array literal merge correctly #13805
• Don't invalidate private property expressions of different classes (#4896), don't forget private property expressions of different classes #13736, An object's property type narowing doesn't work if there's an inherited method called after it #6623
• Fix match exhaustiveness for class-string with union of final classes (#4894), Match expression does not handle remaining value: with enumerated class-string #9534, False positive when using match on class-string from generics #12998
• Allow passing return values of by-reference functions/methods as by-ref args (#4895), Incorrect warning when using functions that return a reference #757, Passing reference return value of function into pass-by-reference parameter is broken #13711
• Downgrade $this to static when calling methods on static type (#4902), $this type of static (self, ...) type must remains static #5946
• Fix @phpstan-assert not working with union types (#4900), @phpstan-assert isn't working with Union #11441, Narrowing type using @phpstan-assert-if-true doesn't work with $this on abstract class #13358, thanks @staabm!
• Fix: Unnecessary nullsafe operator reported on nullable array index(#4889), Unecessary nullsafe operator reported on nullable array index #12222
• Revert "Respect sys_get_temp_dir() from the parent process" (phpstan/phpstan-src@dd0ab39), Failed to create phpstan directory (mkdir(): Permission denied) on Windows 11 #14093
• Fix incorrect type with spread of array with optional named keys (#4908), Incorrect type with empty check #14097
• Fix array_count_values key type for general string input (#4909), array_count_values array key inference broken since 2.1.34 #13996, thanks @VincentLanglet!
• Fix @phpstan-assert not working correctly with union types (#4920), @phpstan-assert isn't working with Union - part 2 #14108, thanks @staabm!
• Fix list<mixed> becomes array<int<0, max>, mixed> without array keys being modified (#4933), list<mixed> becomes array<int<0, max>, mixed> without array keys being modified #13809, Unable to infer type when modifying an array #1311, non-empty-list is now displayed as non-empty-array<int<0, max>, T> after upgrade from 2.1.29 to 2.1.32 #13851, foreach-by-reference does not keep list<T> property on reassignment #14083, Reassigning nested array values for in-out parameter does not keep list<T> property for inner array #14084
• Fix: Reassigning to array<string, list<T>> out parameter does not see the list<T> property during assignment (#5006), Reassigning to array<string, list<T>> out parameter does not see the list<T> property during assignment #14124, thanks @staabm!
• Improve count on list with greater/smaller-than (#4507), infer offset after count #13747, thanks @staabm!
• Fix array + array inference (#4944), array union operator incorrectly determines non-empty output #13561, thanks @VincentLanglet!
• Fix BcMath\Number increment/decrement (#4957), thanks @mpesari!
• Fix: Method call phpstan error is reported on wrong line (#4967), Method call phpstan error is reported on wrong line #9820, thanks @staabm and @VincentLanglet!
• Fix error reported on the wrong line (#4991), Property assign error is reported on wrong line #14150, thanks @VincentLanglet!
• Fix TypeError dead catch when assigning mixed to int in property (#4981), TypeError dead catch when assigning mixed to int in property #9146, thanks @staabm!
• Filter less expression types (#4937), Array count is not invalidated when items are unset leading to false negatives #13984, thanks @VincentLanglet!
• Fix false positive dead catch for ReflectionMethod::invoke/invokeArgs (#4985), ReflectionMethod with invokeArgs: Dead catch - exception is never thrown in the try block. #7719, ReflectionMethod->invoke/->invokeArgs() does not assume exceptions can be thrown #9267, thanks @staabm!
• Filter unsupported OpenSSL cipher methods on PHP 8.0-8.4 (#4982), Openssl cipher method refinement is unsafe on PHP 8.4 and older due to a PHP bug #13692, thanks @VincentLanglet!
• Fix: Erroneous Offset might not exist (#4988), Erroneous Offset might not exist #12574, cannot store phpstan-assert-if-true result in a variable  #10040, False positive method.nonObject if condition checked via temporary variable #11102, Should detect value after conditional check #11870, Include previous check on null safe operator property on object #6991, PHPStan is acting weirdly with isset checks when saved into a variable #7716, thanks @staabm!
• Use "Ignored error" instead of "Ignored error pattern" when rawMessage is used (#4990), thanks @janedbal!
• Fix isset() falsey branch not narrowing array type for dim fetches (#4983), isset condition doesn't refine type #9908, Union type of array is not judge correct #10544, isset not narrowing down array shapes #8724, Cannot rule out types by checking for present key in array shape union #5128, Else after if (isset) on union of array shapes not narrowed #12401, thanks @VincentLanglet!
• More precise array_key_first/array_key_last inference (#4994), thanks @staabm!
• Specify conditional types for all falsey scalars (#4995), Null coalesce non-null result implies the caller not to be null - not reflected in consequent conditions #6120, Object type not narrowed by not null check on property #10482, infer non-empty-string from strpos() !== false #13709, thanks @staabm!
• Add similar behavior for all Assign nodes (#4996), False positive Property HelloWorld::$bug (WeakMap<stdClass, stdClass>) does not accept WeakMap<object, mixed>|WeakMap<stdClass, stdClass>. #12250, Assigning generic objects without constructor via null coalesce assign reports false positives #4525, thanks @VincentLanglet!
• Fix: Using phpstan-import-type between classes makes alias unresolvable (#4997), Using phpstan-import-type between classes makes alias unresolvable #11463, thanks @staabm!
• Remove callable.nonNativeMethod (#5004), False positive: first class callable protected by method_exists still reports callable.nonNativeMethod error. #13596, thanks @VincentLanglet!
• Fix: False Positive on Match Arm Comparison with Incremented Bounded Integer (#5003), False Positive on Match Arm Comparison with Incremented Bounded Integer #11310, thanks @VincentLanglet!
• Fix scope for MatchExpressionNode (phpstan/phpstan-src@7b850e4)
• Fix match regressions (phpstan/phpstan-src@87004e7, phpstan/phpstan-src@4628ff9)
• Fix conditional expression holder chain resolution regression (#5025), Regression about complicated conditions #14178
• Fix get_class return type (#4456), false positive due to method_exists call beforehand #4890, thanks @VincentLanglet!
• Unsetting optional offset might still give a list (#5029), array_key_exists false positive #14177, thanks @VincentLanglet!

Performance 🏎️

• Faster NetteContainer (#4921), thanks @staabm!
• MutatingScope: prevent unnecessary work in removeTypeFromExpression() (#4922), thanks @staabm!
• Don't invalidate container cache on user-interactions in the shell (#4924), thanks @staabm!
• Prevent duplicate path normalization (#4931), thanks @staabm!
• DependencyResolver: Reduce duplicate work (#4923), thanks @staabm!
• speed up TrinaryLogic (#4833), thanks @kaja47!
• ClassNameCheck: Retrieve extensions just once (#4926, #5027), thanks @staabm!
• IsSuperTypeOfResult: cache YES/NO/MAYBE (#5011), thanks @staabm!
• Faster IntersectionTypeMethodReflection->getVariants() (#5012), thanks @staabm!
• ArgumentsNormalizer: remove duplicated work (#5010), thanks @staabm!
• Faster AcceptsResult, IsSuperTypeOfResult (#5013), thanks @staabm!
• TypeSpecifier: Prevent duplicate expression printing (#5018), thanks @staabm!
• Faster Ternary analysis (#5015), thanks @staabm!

Function signature fixes 🤖

• Add @param-out for getmxrr (#4943), checkImplicitMixed reports "mixed given" on an array #10704, thanks @VincentLanglet!
• Add sodium_crypto_secretbox_keygen function stub (#4954), thanks @thePanz!
• Add sodium_xxxx_keygen function stubs (#4987), thanks @thePanz!

Internals 🔍

• Extract FileAnalyserCallback (#4872), thanks @staabm!
• Make sure invocations via blackfire use the same container (#4925), thanks @staabm!
• Add more foreach with by-ref $value tests (#4934), thanks @staabm!
• Allow to dumpType more than one thing (#4941), thanks @VincentLanglet!
• Cleanup ConstantArrayTypeBuilder (#4955), thanks @staabm!
• Fix typo (#4984), thanks @vrana!
• Fix test lint-comment (#4986), thanks @staabm!
• Fix isDummy implementation (#5002), thanks @VincentLanglet!
• Cover dynamic static calls in tests (#5009), thanks @staabm!
• Fix use of deprecated PHPParser LNumber, DNumber nodes (#5016), thanks @staabm!
• Simplify throw processing (#5017), thanks @staabm!
• Simplify MemoizingContainer (#5019), thanks @staabm!
• Assert ExprCacheHelper->import() will not mix up same expr-string based attributes (#5023), thanks @staabm!