This MR contains the following updates:

Package	Change	Age	Confidence
phpstan/phpstan	`^1.10` -> `^2.0`
phpstan/phpstan-symfony	`^1.3` -> `^2.0`

Release Notes

phpstan/phpstan (phpstan/phpstan)

Improvements 🔧

Allow PHP 8.5 as max version (#4188, #4192), thanks @kubawerlos!
Use authoritative Attribute stub (#4192)

Bugfixes 🐛

Fix args are mistakenly handled as immediately-invoked (#4145), #13288, #13311, #13331, #13307, #12119, thanks @staabm!
Fixed HasOffsetValueType accessory missing main type (#4162, https://github.com/phpstan/phpstan-src/commit/56a30c2e06c33f6af2639aa7a58c901962539c31), #13270, thanks @staabm!
Fix missing detection of dead code in arrow functions (#4147), thanks @staabm!
Fix missing detection of dead code in closures (#4148) (#4148), thanks @staabm!
Fix array_key_exists narrows $key too much (#4151), #11724, thanks @staabm!

Function signature fixes 🤖

Remove couchbase from functionmap (#4185), #5642, thanks @VincentLanglet!
Use benevolent union for stream_get_contents() return type (#4146) (#4146), #13289, thanks @staabm!

Internals 🔍

Remove unnecessary new Name() (#4193), thanks @takaram!

Improvements 🔧

Update nikic/PHP-Parser to 5.6.0 (https://github.com/phpstan/phpstan-src/commit/90f8b11d423e18ff00fd4927907230b22edebcee)

Bugfixes 🐛

Fix unnecessary wrapping in TableErrorFormatter (#4170), #13317, thanks @schlndh!
Fix return value type inference of FuncCall on FuncCall (#4184), #13296, thanks @VincentLanglet!
Fix version_compare return type (#4178), #4457, thanks @VincentLanglet!

Internals 🔍

Put PHPUnit cache under tmp/ (#4169), thanks @staabm!
Add regression tests for already solved issues (#4174, #4173, #4172), thanks @VincentLanglet!

Bugfixes 🐛

Fix "will always evaluate to true" function call with named arguments (https://github.com/phpstan/phpstan-src/commit/1f150cc9ae1fcab992aca658f317b91d0757107f), #13291
Fix Invalid "UTF-8" string error when using TableErrorFormatter (#4163), #13292, thanks @schlndh!

Improvements 🔧

Remove manual wrapping for error table (#4035), thanks @schlndh!
Improve array_search inference (#4014), thanks @VincentLanglet!
Improve str_split() return type (#3999), thanks @VincentLanglet!
Detect more duplicate array keys (#4116), thanks @VincentLanglet!
Add support for multiple identifiers in ignoreErrors configuration (#4080), thanks @janedbal!
Fix missing detection of dead code in expressions (#4090), #13232, #11909, thanks @staabm!

Bugfixes 🐛

Fix IntersectionType::isIterableOnce() (#4106), #13248, thanks @VincentLanglet!
Fix false positive unreachable (#4112), #7531, thanks @VincentLanglet!
Improve array filter return type on PHP 8 (#4123), #12689, thanks @VincentLanglet!
Fix analysis on array_map with named arguments (#3763), #12317, thanks @takaram!
Fix ObjectType::getOffsetValueType() (#4126), #12125, #9575, #9456, #13144, thanks @VincentLanglet!
Fix for respecting rule levels for property.nameNotString (#4117), #13271
Improve trim on numeric string (#4130), #10860, thanks @VincentLanglet!
Fix intersection with substracted (#4132), thanks @VincentLanglet!
Understand at least one argument for non empty array unpacked (#4134), #10020, #8506, thanks @VincentLanglet!
Handle empty array case via ConstantArrayType::spliceArray() (#4140), #13279, thanks @herndlm!
Fix lowercase string usage in template (#4122), #12739, thanks @VincentLanglet!
Fix "Unsafe use of new static when trait enforces constructor via abstract method" (#4114), #9654, thanks @VincentLanglet!
Nothing is lower than null (#4131), #10719, #9141, thanks @VincentLanglet!
Hotfix - allow people to override exceptionTypeResolver in neon (https://github.com/phpstan/phpstan-src/commit/e7febc360c027957945e1e8667b412952d0bca12)

Function signature fixes 🤖

Improve sys_getloadavg return type (#4107), #13198, thanks @VincentLanglet!
Fix PDO quote return type (#4113), #10512, thanks @VincentLanglet!
Fix pg_lo_import definition (#4120), thanks @VincentLanglet!
Update eio function return type (#4124), thanks @VincentLanglet!
Update stream_filter_* signatures (#4125), #12380, thanks @VincentLanglet!
Update DomNode return type (#4137), thanks @VincentLanglet!
Update Spl methods with side effects (#4129), #10884, #9180, thanks @VincentLanglet!
Fix odbc definitions (#4119), thanks @VincentLanglet!

Internals 🔍

Added regression test (#4105), #8372, thanks @staabm!
Added regression test (#4109), #13043, thanks @VincentLanglet!
Add regression tests for strict rules issues (#4110), https://github.com/phpstan/phpstan-strict-rules/issues/147, https://github.com/phpstan/phpstan-strict-rules/issues/143, thanks @VincentLanglet!
Fix function name typo (#4118), thanks @VincentLanglet!
Fix typo in error message in #[RequiresPhp] attribute rule (#4127), thanks @takaram!
Update bashunit:0.22.0 (#4133), thanks @Chemaclass!
Add regression test (#4135), #9706, thanks @VincentLanglet!
Add regression test (#4136), #9401, thanks @VincentLanglet!
Introduce dumpNativeType (#4108), thanks @VincentLanglet!

Bleeding edge 🔪

Name string expr check in ClassConstantRule (#3910), thanks @zonuexe!
Name string expr check in AccessPropertiesCheck (#4094), thanks @zonuexe!

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 🔧

Add @phpstan-sealed support (#4095), thanks @VincentLanglet!
This release includes improvements and bugfixes from PHPStan 1.12.28
Validate registered services tags against implemented interface (https://github.com/phpstan/phpstan-src/commit/f375a814c453ee4220322e238d5d1ace59810f45)
Only change exit code with --fail-without-result-cache when the error formatter returns 0 (https://github.com/phpstan/phpstan-src/commit/df9fa6e04b636bbcd16d49ec213f13fbb45026a6)
Normalize arguments before calling into TypeSpecifyingExtensions (#4034), #13088, thanks @staabm!
Use count() return type in ObjectType::getArraySize() (#4072, #4078), thanks @vojtech-dobes!
Add method to get ObjectType from ClassReflection and EnumCaseReflection (#4099), thanks @calebdw!
Playground & Issue bot: PhpdocCommentRule (#4074), thanks @staabm!
Describe array shape key in quotes unless valid identifier (#4071), thanks @vojtech-dobes!
Improve TrimDynamicReturnType for constant strings (#4028), thanks @VincentLanglet!
Introduce ArrayPadDynamicReturnTypeExtension (#4017), #12305, thanks @VincentLanglet!
Introduce PDO::connect dynamic method return type extension (#4015), #12359, thanks @VincentLanglet!
Add PhpVersion::__construct to BC promise (#4022), #8582, thanks @VincentLanglet!
Support switch on ::class (#4011), #13069, thanks @VincentLanglet!
More precise array_keys return type (#3590), #11928, thanks @staabm!

Bugfixes 🐛

Fix ClosureType::equals() for pure/impure closures (https://github.com/phpstan/phpstan-src/commit/02066c7350e4a60a5cdcabacc613bd62ae0bf907), #13067
Fix for benevolent union (#4039), #13098, thanks @VincentLanglet!
Fix resolving generics from phpstorm-stubs (https://github.com/phpstan/phpstan-src/commit/c0f2e9e9235db973784d88b107bc8c14ecb647d0), #13171
Correctly retrieve hasSideEffects metadata for inherited methods (#4079), #13201, thanks @zonuexe!
ObjectType: fix hasConstant behaviour (#4089), thanks @janedbal!
Explicitly use StreamSelectLoop for PHPStan Pro download (#4077), thanks @calebdw!
stream_get_contents() does not return FALSE unless an invalid position is provided (#4092), #3396, thanks @staabm!
Revert "non-falsy-string cannot be converted to 0" (#3997), thanks @VincentLanglet!
Improve return type of array map by invoking dynamic function return type extensions for the callback (#4068), #11180, #3156, thanks @VincentLanglet!
Avoid false positive in_array() always true (#4073), #13151, #8818, #12755, #12412, thanks @VincentLanglet!
Fix always-true detection in in_array with union type haystack (#3888), #12755, thanks @sayuprc!
Fix NAN inferences (#4040), #13097, thanks @VincentLanglet!
Fix MixedType->equals(ErrorType) (#3934), thanks @staabm!
Handle class without namespace for internal rule (#3998), #13041, thanks @VincentLanglet!
Resolve substr based on configured PHP version instead of runtime PHP version (#4061), #13129, thanks @VincentLanglet!
Keep list on unset() with nested dim fetch (#3964), #12927, #12330, #11171, #8282, #12754, thanks @staabm!

Function signature fixes 🤖

These DateTimeInterface methods are pure (https://github.com/phpstan/phpstan-src/commit/7534ee1a3755ac6c1a9f563159dbc9a0756993f5)
More precise return type for posix_getpwnam() (#4091), #12254, thanks @zonuexe!
Fix SimpleXMLElement::xpath return type (#4096), thanks @VincentLanglet!
Fix fwrite (#4087), thanks @VincentLanglet!
Update locale_get_display_x() return types (#4085), thanks @cfahner!
Fix DOMElement::$attributes stub (#4029), #13076, thanks @VincentLanglet!
Improve mb detect encoding signature (#4020), #8922, thanks @VincentLanglet!

Internals 🔍

Moved the list of relative paths in parameters to parametersSchema.neon (https://github.com/phpstan/phpstan-src/commit/72c2a8da27960198a00c40075649d71a6a4fdebb)
- This now allows extensions to declare which of their custom parameters should be treated as relative path to expand
Scaffolding for auto-fixable rules
- This feature will be fully released in PHPStan 2.2.0
phpstan-src embraces attributes!
- This is enabled thanks to olvlvl/composer-attribute-collector and AutowiredAttributeServicesExtension
- PHPStan still supports PHP 7.4 because this package bakes compiled list of classes and parameters with attributes to a plain PHP file vendor/attributes.php.
- Slimmer config files
- Services are now registered with the help of these attributes:
- Rules and collectors for specific levels are registered with:
  - RegisteredRule
  - RegisteredCollector
phpstan-src now includes more custom opinionated rules specific to development of PHPStan itself
- Attributes must have named arguments (https://github.com/phpstan/phpstan-src/commit/676ad27fc14abf18ebd026c0247b61ad9d568d92)
- Use named arguments instead of passing default parameter values https://github.com/phpstan/phpstan-src/commit/35fbc87a4b05a2f4884480a3e0f5dbd61a8b49a5
  - As a limitation of simple-downgrader, this does not apply to MethodCall. Only to New_, StaticCall, and FuncCall.
- Add #[Override] for methods overriding 3rd party (https://github.com/phpstan/phpstan-src/commit/98ed73222bb3a69e58f5633074041a65256673b6)
- SkipTestsWithRequiresPhpAttributeRule (https://github.com/phpstan/phpstan-src/pull/4056/commits/6851343e570bc1e79580972243deed80b3bc5e39)
- Simplify property memoization for Flyweight pattern by replacing it with ??= (#4084), thanks @zonuexe!
- Simplify by replacing chained $var === const with in_array() (#4098), thanks @zonuexe!
DI Container - throw unprefixed exception (https://github.com/phpstan/phpstan-src/commit/24436631a3c69deb8d914dc01cb6486cc85d5680)
Require Box with Composer (#2955)
Use 7.4 for PHP-Scoper PHP version (#2955), thanks @ondrejmirtes!
Update to PHPUnit 10 ((#4046))
Update to PHPUnit 11 (#4057)
Upgrade bashunit:0.20 (#4048), thanks @Chemaclass!
Add assertSuperType testing utility (#4066), thanks @vojtech-dobes!
Use str_starts_with() instead of strpos() (#4083), thanks @zonuexe!
Avoid duplicating the same strpos() function call (#4083), thanks @zonuexe!
Add Type::spliceArray(), improve splice_array() array type narrowing (#3952), thanks @herndlm!

Major new features 🚀

Introducing Editor Mode (https://github.com/phpstan/phpstan-src/commit/74b909aedcc6fd09721c02763ff2c440ce5d7999)
- Learn more: https://phpstan.org/user-guide/editor-mode

Bleeding edge 🔪

Report new static() in static method of abstract class - level 0 (https://github.com/phpstan/phpstan-src/commit/a5f7c060c8a091da391263decdef8025a3202d82)

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 🔧

This release includes improvements and bugfixes from PHPStan 1.12.27

Bugfixes 🐛

Fix array_column() with explicit null $index_key (#3970), #12945, thanks @herndlm!
AlwaysRememberedExpr - use getNativeExprType (https://github.com/phpstan/phpstan-src/commit/222676e94aeb92e1b73e7545db6c0d68e003b77e)
Invalidate result cache properly when property hook changes (https://github.com/phpstan/phpstan-src/commit/dff492e14c586368429893111ec4c950b4bd1748, https://github.com/phpstan/phpstan-src/commit/268d7c6388eaeef1675ef8eb807975bc42a4dc1a)
Result cache - react to property having abstract/final/asymmetric visibility changed (https://github.com/phpstan/phpstan-src/commit/0ad2a6a6f207fa3a57ab0dd98c30459666dd152f)
Result cache - react to property being virtual changing (https://github.com/phpstan/phpstan-src/commit/e33a560c71a7f1a52ae5f96158393ef441626aa5)

Function signature fixes 🤖

Update libxml_get_errors() (#3973), thanks @jack-worman!

Internals 🔍

Call ProcessPromise::cancel() from deferred canceller (https://github.com/phpstan/phpstan-src/commit/df4c1f39e9b63c2e58e7666c664f7c8ac2d74f26)
Solve some cases of dead code (https://github.com/phpstan/phpstan-src/commit/e1e8302327e791ce191f25a0b37f21d30e1cf7d6)
Remove dead code (https://github.com/phpstan/phpstan-src/commit/d88e2fece595ca5190c1cf507f7b983bdd4695f8)
Remove unused method from interface (https://github.com/phpstan/phpstan-src/commit/2ac0a171e66601ea3c1d80f7e4195a0f420d929c)
Remove unused method from PathNotFoundException (https://github.com/phpstan/phpstan-src/commit/aaa1424c0f90fffc425c397219b26104a99e9231)
Remove getPhpDocReturnTypeWithUnresolvableTemplateTypes from ResolvedFunctionVariantWithCallable (https://github.com/phpstan/phpstan-src/commit/e3c76ade59ac2753d9ff073a7260d228bc424c50)
Remove more dead code (https://github.com/phpstan/phpstan-src/commit/2f66ec60f9d2a9ff9d8a87a914f31dd121a9ed18)
Install & configure shipmonk/dead-code-detector (#3996), thanks @janedbal!
Drop unused SymfonyStyle::getSymfonyStyle (#3996), thanks @janedbal!
Drop unused NeonAdapter::dump (#3996), thanks @janedbal!
Drop unused FileMonitor::getTotalFilesCount (#3996), thanks @janedbal!
Drop unused SetterReflectionProviderProvider (#3996), thanks @janedbal!
Drop dead dataProvider in ExistingClassesInTypehintsRuleTest (#3996), thanks @janedbal!
Drop unused ResolvedPropertyReflection::getDeclaringTrait (#3996), thanks @janedbal!
Drop unused ProcessPromise::getName (#3996), thanks @janedbal!
Drop unused PhpDocBlock::isExplicit (#3996), thanks @janedbal!
Drop dead TemplateTypeTrait::shouldGeneralizeInferredType (overwritten in all children) (#3996), thanks @janedbal!
SimultaneousTypeTraverser to be covered by BC promise (#3996), thanks @janedbal!

Improvements 🔧

Support for @final PHPDoc tag above properties (#3990), #12999, thanks @lpd-au!
Faster ClassNameHelper (#3994), thanks @staabm!

Bugfixes 🐛

DuplicateKeysInLiteralArraysRule: Fixed union type handling (#3993), #13013, #13022, thanks @staabm!
Improve preg_split() function return type (#3757), thanks @malsuke!

Function signature fixes 🤖

Update SNMP class signatures (#3927), thanks @miken32!

Improvements 🔧

This release includes improvements and bugfixes from PHPStan 1.12.26
TableErrorFormatter: improve formatting of error tips (#3821), thanks @FeBe95!
InstantiationRule - call RestrictedMethodUsageExtension for constructor (https://github.com/phpstan/phpstan-src/commit/8edfa9fa880141f97239229bbdefb54168cc2b78)
Call RestrictedMethodUsageExtension for __toString methods in (string) cast (https://github.com/phpstan/phpstan-src/commit/ce257d9acf2e182b2ae1c6fea06f7738986e54ab)

Bugfixes 🐛

Fix GetDebugTypeFunctionReturnTypeExtension - should use TypeCombinator instead of new UnionType (https://github.com/phpstan/phpstan-src/commit/1044f1112a0be3e4e6384ee7d35a66cd92e9cba6), #12512
Remember value of arguments passed to {min,max}() (#3928), #12731, thanks @cs278!
Revert "Useful PhpMethodReflection native type refactoring from #3966" (#3979), thanks @samsonasik!
Respect asserts and throws on pure functions that return void (#3719), #12224, thanks @jack-worman!
Disable purity check for non-final methods (#3913), #12382, thanks @VincentLanglet!
Fix IterableType::equals() with TemplateIterableType (#3991), thanks @staabm!
Restricted usage extensions - do not report false positives for Symfony polyfills (https://github.com/phpstan/phpstan-src/commit/4a907f16f034d42f5246a0fd72225f0fba0fcb0c), #12951

Function signature fixes 🤖

Add stub for DOMNode::hasAttributes (#3800), thanks @Niklan!
Update PhpStorm stubs (#3989), thanks @phpstan-bot!
Remove MongoDB extension from function map (#3891), thanks @alcaeus!

Internals 🔍

Replace error-prone instanceof *Type in Rules classes (#3858), thanks @zonuexe!
Extract ArrayColumnHelper from ArrayColumnFunctionReturnTypeExtension (#3785), thanks @staabm!

Bugfixes 🐛

More precise property types after assignment when strict_types=0 (#3965), #12946, #12940, #12950, #12947, thanks @staabm!
Fix array_slice() edge cases (#3959), thanks @herndlm!
non-falsy-string cannot be converted to 0 (#3971), thanks @staabm!
Fix crash on dynamic numeric-string symbols (#3975), #12949, thanks @staabm!

Internals 🔍

Remove useless assign $parentNode = $parentNode (#3938), thanks @samsonasik!
TypehintHelper: remove unneeded default param value (#3968), thanks @staabm!
Useful PhpMethodReflection native type refactoring from #3966 (https://github.com/phpstan/phpstan-src/commit/3854cbc5748a7cb51ee0b86ceffe29bd0564bc98)

Major new features 🚀

Restricted Usage Extensions
- Learn more: https://phpstan.org/blog/restricted-usage-extensions-you-dont-always-need-custom-rule
- Docs: https://phpstan.org/developing-extensions/restricted-usage-extensions

Bleeding edge 🔪

Report @internal symbols usage from outside their top namespace, #1178

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 🔧

Improve return type of array_splice() (#3947), thanks @herndlm!
Handle preserve_keys in array_slice() for normal arrays (#3946), #12880, thanks @herndlm!
Improve ConstantArrayType::sliceArray() with non constant integer args (#3949), thanks @herndlm!
TableErrorFormatter: visually differentiate phpstan assertion errors from rule errors (#3951), thanks @staabm!

Bugfixes 🐛

Consider comparison as strict when type is the same (#3942), #12884, thanks @VincentLanglet!
Fix wrong property type after assigning iterable type (https://github.com/phpstan/phpstan-src/commit/7c1ee34aa09798c2bb5ba182b078e436f0b7820c), #12891
Scope::rememberConstructorScope() should not remember the function scope (#3944), https://github.com/spaze/phpstan-disallowed-calls/issues/323, thanks @staabm!
Fix imprecise property native types after assignment (#3945), #12902, thanks @staabm!
Fix invalidating static property access after impure call (#3950), #11019, #3747, #8523, #4864, #4443, thanks @staabm!
More precise string functions return type with replacement array (#3963), #12928, thanks @staabm!
Fix session_set_cookie_params call with named arguments (https://github.com/phpstan/phpstan-src/commit/72e37dcf297752e074b214bd752f24617b7e6bb3), #12934

Internals 🔍

MutatingScope: remove unnecessary callback functions (#3916), thanks @staabm!
Fix occasional failure in ParallelAnalyserIntegrationTest (https://github.com/phpstan/phpstan-src/commit/4f5a63a5f577dbf9fecca53e8d6ea4ac64542f7a)
MethodReflection - fix isInternal vs. isBuiltin (https://github.com/phpstan/phpstan-src/commit/3024c02e844d430759ac950261ba5c5aea52eb1b)
Simplify degradation to general array in ConstantArrayType::shuffle() (#3948), thanks @herndlm!
ExtendedPropertyReflection::getName() (https://github.com/phpstan/phpstan-src/commit/ff198c9d121d658c150ce74f11bde000d665117d)
Micro optimize LazyInternalScopeFactory (#3962), thanks @staabm!

Improvements 🔧

Remember narrowed types from the constructor when analysing other methods (#3930), #12860, #10048, #11828, #9075, #6063, #12723, thanks @staabm!
DeprecationExtensions: allow custom deprecation-marking logic (#3932), thanks @janedbal!
- Learn more: https://phpstan.org/developing-extensions/custom-deprecations
TypeInferenceTestCase - show analysed symbols that do not exist next to failure (misconfigured autoloading) (https://github.com/phpstan/phpstan-src/commit/fdd5ad933d2264be29812eb713d0f15519d5cb3f, https://github.com/phpstan/phpstan-src/commit/a2834bcc6894f8d0dce299507735473cfa1f8f54)
RuleTestCase - show analysed symbols that do not exist next to failure (misconfigured autoloading) (https://github.com/phpstan/phpstan-src/commit/c5cf14ba60139fb40a1e26973a115778a9e82815, https://github.com/phpstan/phpstan-src/commit/a2834bcc6894f8d0dce299507735473cfa1f8f54)
Allow toggling discoveringSymbols tip (#3929), https://github.com/phpstan/phpstan/discussions/12859, thanks @herndlm!
Faster processing of array comparisons with constant offsets (#3933), #12800, thanks @staabm!
ClassReflection: narrow getNativeReflection after isEnum is true (#3925), thanks @janedbal!
ResultCacheManager: support dots in parametersNotInvalidatingCache (#3939), thanks @janedbal!
ResultCacheManager: configurable days causing cache skip (#3941), thanks @janedbal!

Bugfixes 🐛

This release includes fixes from PHPStan 1.12.24
RegexArrayShapeMatcher - enforce list type when no named captures (#3899), #12397, #11602, thanks @staabm!
Fix elapsed time format for result cache restore time (#3890), thanks @janedbal!
Limit int ranges when narrowing arrays via count() (#3902), #12787, thanks @herndlm!
Fixed false positive about undefined property guarded with property_exists (https://github.com/phpstan/phpstan-src/commit/3d5293075344157864219e5833bbfa69d60ec7be)
Fixed false positive about undefined method guarded with method_exists (https://github.com/phpstan/phpstan-src/commit/ae5562fc29737d3f4a724bdd351c23f1347d569d), #12793
Offset on list definitely exists if there's HasOffsetType with higher number (#3905), #12605, thanks @staabm!
Set offset on list keeps list if there's HasOffsetType for all preceeding offsets (#3909), thanks @staabm!
Fix union/intersect involving enum case (#3907), #12163, thanks @schlndh!
Fix lost list type if substituted a element via loop (#3908), #12274, thanks @staabm!
Fix signature type for default-null parameters (#3912), #7522, #12282, thanks @VincentLanglet!
ObjectType: fix isEnum (#3915), #12832, thanks @janedbal!
Fix matches[0] type for regexes containing \K (#3920), #12792, thanks @mvorisek!
TypeCombinator returns non-empty-array for union of isIterableAtLeastOnce()->yes() (#3937), #12847, thanks @staabm!

Function signature fixes 🤖

More precise return type for strspn and strcspn (#3918), thanks @claudepache!
Improve getopt() function stub (#3655), #12103, thanks @janedbal!

Internals 🔍

Added regression test (#3904), thanks @staabm!

Improvements 🔧

RegexArrayShapeMatcher - more precise subject types (#3897), #12749, thanks @staabm!

Bugfixes 🐛

Fix narrowing of superglobals (#3901), #12771, #12772, #12776, thanks @herndlm!
String value passed to Identifier cannot be empty (https://github.com/phpstan/phpstan-src/commit/a3039ef58efe8b303e9618272e50dfe85e74ff53), #12778

Function signature fixes 🤖

Fix SessionHandlerInterface::read return type (#3884), #12748, thanks @sayuprc!

Bugfixes 🐛

Fix condition of fall-through case not used for exhaustive checks (#3900), #11064, #3488, #8719, #12722, thanks @rvanvelzen!
Fix calling getVariableType without checking hasVariableType first (https://github.com/phpstan/phpstan-src/commit/72d2f3b5b10faf9f388ad68b8271ece94bb53bc5), #12767

Improvements 🔧

This release includes fixes and improvements from PHPStan 1.12.22
Collected data: reduce memory consumption & result cache size (#3879), thanks @janedbal!
Detect accessing static property as non static (#3857), #12692, thanks @jnoordsij!
Infer types of variables with dynamic name (https://github.com/phpstan/phpstan-src/commit/7d4dcb5e48ef063cef058655a61e160ca6725541, https://github.com/phpstan/phpstan-src/commit/0df0c6f34b38e75daf5bfb53d1fe088c78d30b97), #12398
Infer types of property fetch with dynamic name (https://github.com/phpstan/phpstan-src/commit/8bb0670cffd471f2f1dfc39cc002cbaf2bbbfeb2)
Infer types of StaticCall with dynamic name (https://github.com/phpstan/phpstan-src/commit/51a867f439b55960de460223af0e3b125414fc5c)
Infer types of MethodCall with dynamic name (https://github.com/phpstan/phpstan-src/commit/244093e4f43a58a6dcbb596ea2eac1e042016ac1)
Infer types of StaticPropertyFetch with a dynamic name (https://github.com/phpstan/phpstan-src/commit/2fe4e0f94e75fe8844a21fdb81799f01f0591dfe)
Support dynamic Expr name expressions in rules (#3886), thanks @zonuexe!
Improve count() narrowing of constant arrays (#3709), #12190, #3631, thanks @herndlm!
Support narrowing a constant array to a list with count (#3878), thanks @staabm!
Treat #[Pure(true)] in PhpStorm stubs as hasSideEffects => true (#3880), #6345, #12577, #10342, thanks @zonuexe!
excludePaths: include example for optional path (#3883), thanks @thePanz!
Narrow type on setting offsets of properties (#3699), #6398, #6571, #12565, thanks @herndlm!

Bugfixes 🐛

Fix false positives on non-existing array offsets (#3766), #8649, thanks @staabm!
- Also: #3868, #11020, thanks @staabm!
Fix false positives on existing offsets after assign (#3874), #12406, #11679, thanks @staabm!
Fix false positives on non-existing offsets of superglobals (#3871), #11447, thanks @staabm!
Fix count() regression (#3895), thanks @staabm!
Remove count() narrowing handling of empty array (#3896), thanks @herndlm!
Avoid falsely specifying never types via count() (#3898), thanks @herndlm!
Constant array with negative keys cannot be a list (#3870), #12708, thanks @watasuke102!
Do not report constructor unused parameter if implemented interface has a constructor (#3777), #11454, thanks @carlos-granados!
Fix JSON error formatter when files are empty (#3798), thanks @shyim!
Fix readonly property assign with ArrayAccess offset (#3817), #8929, #12537, thanks @herndlm!

Internals 🔍

RuleTestCase: set shouldPolluteScopeWithLoopInitialAssignments to true which is PHPStan's default behaviour (https://github.com/phpstan/phpstan-src/commit/1b56b0c1e0fb7ad574d8d13e4ee63fb05716fa9c)
ResultCache: allow customization of params not invalidating cache (#3877), thanks @janedbal!
RegexArrayShapeMatcher - turn more details immutable (#3892), thanks @staabm!

Improvements 🔧

@readonly property cannot be passed by-ref (#3850), #12676, thanks @staabm!
ClassReflection - cannot be a subclass of final-overriden class (https://github.com/phpstan/phpstan-src/commit/ed4ea0a3b5784e3e39b28cff2fc92b6445a48419)
Deprecated ClassReflection::isSubclassOf(string $className) in favour of ClassReflection::isSubclassOfClass(ClassReflection $class)
- If you just have string $className instead of ClassReflection and you are too lazy to get ClassReflection via ReflectionProvider, you can still use ClassReflection::is(string $className)

Bugfixes 🐛

This release includes fixes from PHPStan 1.12.21
Cannot override being final for abstract classes (https://github.com/phpstan/phpstan-src/commit/9bb2ed5b90d76d416a985eeb67411999be187263)
Fix unsetting array item triggering unset.possiblyHookedProperty (#3855), #12695, thanks @staabm!
UnusedPrivatePropertyRule - handle virtual properties that can only be read or only written (https://github.com/phpstan/phpstan-src/commit/da737711e4017bac54ce133e0c074d094daf1969, https://github.com/phpstan/phpstan-src/commit/12185abf062ea03e51dae9226b35a6639bee0cd5), #12702
Faster analysis with a big const array in a class (#3862), #12159, thanks @staabm!

Internals 🔍

Fix typo false-positive (#3856), thanks @staabm!
Reduce method calls in ExpressionTypeHolder (#3859), thanks @staabm!
Faster TrinaryLogic::and() (#3860), thanks @staabm!
Faster MutatingScope::mergeWith() (#3861), thanks @staabm!
Added regression test (#3863), thanks @staabm!

Improvements 🔧

Introduce IgnoreErrorExtension (#3783), thanks @ruudk!
- Learn more: https://phpstan.org/developing-extensions/ignore-error-extensions
Understand that new Foo() cannot be a subclass (#3853)
Object type narrowed after $a::class and get_class($a) cannot be a subclass (https://github.com/phpstan/phpstan-src/commit/772f2979425574897b525de95dd8a535e1882f39)
Teamcity - show rule identifier when verbose output is set (#3804), thanks @kamil-zacek!
Class constants cannot be directly accessed on a trait (https://github.com/phpstan/phpstan-src/commit/d56d0842ca297ad6cc4ac3cf3918433ed8a80394)
Hooked properties cannot be both final and private (#3830), #12336, thanks @staabm!
Hooked properties cannot be both abstract and private (#3839), #12336, thanks @staabm!
Implement FinalPrivateConstantRule (#3838), thanks @staabm!
Readonly properties cannot be unset() (#3827), #12421, thanks @staabm!
Hooked properties cannot be unset() (#3842), #12336, thanks @staabm!
Handle BcMath\Number overloaded operators (#3787), #12099, thanks @schlndh!
TypeNodeResolver - check for existing Integer class before resolving to int (#3848), #12660, thanks @stepo2!

Bugfixes 🐛

This release includes fixes from PHPStan 1.12.20
Fix ClassLike::$namespacedName must not be accessed before initialization (https://github.com/phpstan/phpstan-src/commit/948f79d2da9e3767129b5432730fcbdec44995dc), #12627
Fix referencing %env% in includes (https://github.com/phpstan/phpstan-src/commit/d4d7e116a20b179ca1502b651fd0b779e8fede6a), #12606
Property can be written in get hook (https://github.com/phpstan/phpstan-src/commit/8de182dbdeff1bcff34cc6c0b24ed379f77bbc42), #12621
Fix scope in enum match arm body (#3786), #12422, thanks @dmytro-dymarchuk!
Fix integer range pow issues (#3787), #7937, #8555, thanks @schlndh!
Fix GetNonVirtualPropertyHookReadRule on abstract property (#3845), thanks @staabm!
VarTagTypeRuleHelper - remove namespace and uses from NameScope (https://github.com/phpstan/phpstan-src/commit/189a4cc4c3875c1e8f4c19b3ea4b7aa89e88f919)

Function signature fixes 🤖

Change return type of ResourceBundle::getLocales (#3840), #12579, thanks @mat-se!
Make precise scandir() argument and return type (#3808), thanks @zonuexe!
More precise return type for mysqli_fetch_all() (#3778), thanks @oxan!

Internals 🔍

StrlenFunctionReturnTypeExtension: Cleanup instanceof ConstantString (#3780), thanks @staabm!
Adjust and make space for tests for new behaviour of new (#3852)

Improvements 🔧

This release includes improvements from PHPStan 1.12.19
PHP 8.4: Overriding property - when overriding readable property, the property has to be readable (same for writable) (https://github.com/phpstan/phpstan-src/commit/924a7a2f647acd3c62a054c4358c13c0b1cc2886)
ClassReflection - hasProperty cache (https://github.com/phpstan/phpstan-src/commit/73d7b88d60f4b8ebbff777060f8bc4e5e25bde12)
Updated phpdoc-parser
- Allow multiple new lines in union and intersection declaration (https://github.com/phpstan/phpdoc-parser/pull/265), thanks @DaDeather!
- TypeParser - support comments at EOL with // (https://github.com/phpstan/phpdoc-parser/pull/264), https://github.com/phpstan/phpdoc-parser/issues/184, thanks @shmax!

Bugfixes 🐛

Do not report constructor unused parameter if class is an Attribute class (#3776), #7165, thanks @carlos-granados!

Internals 🔍

Test for set-hooked property being overriden by readonly property (https://github.com/phpstan/phpstan-src/commit/d3909c7fbf169069d8099ec67a3a0cd75ce873af)

Improvements 🔧

Hooked property cannot be static (#3810), #12336, thanks @jakubtobiasz!
Array shape from general array with single finite key (https://github.com/phpstan/phpstan-src/commit/6c45175093157f773725e70e4dd3c4f316027f67, https://github.com/phpstan/phpstan-src/commit/8a5bfb9208891055ecff4a39586d542b70546f82)
- Allows array<value-of<MyEnum::FIRST>, X> to create an array shape where the key is backed enum case value
Update phpdoc-parser (https://github.com/phpstan/phpstan-src/commit/d25a815b1069174acf3efe97812617d679f30769)
- TypeParser: Allow multiple newlines and also allow multiline union and intersection types for array shapes (https://github.com/phpstan/phpdoc-parser/pull/263), https://github.com/phpstan/phpdoc-parser/issues/258, https://github.com/phpstan/phpdoc-parser/issues/183, thanks @DaDeather!

Bugfixes 🐛

This release includes fixes from PHPStan 1.12.18
Fix GenericStaticType in @phpstan-self-out, use @phpstan-self-out type when returning $this (https://github.com/phpstan/phpstan-src/commit/dab99cba7be39fb71c70e42373ff40dca64b82ad), #12575, #12548, #8439, #8316, #8275
Fix @phpstan-self-out with GenericStaticType when method is called on $this (https://github.com/phpstan/phpstan-src/commit/cf6476188b73036741e916e1e3e58972b53bb8b3)
Update BetterReflection (#3822)
- Fixed property from interface implemented by trait (https://github.com/Roave/BetterReflection/pull/1487), #12553, thanks @kukulich!
Readonly property can override get-only property declared in interface (https://github.com/phpstan/phpstan-src/commit/0c8e9d2905371039cf453509e044d367529aa2b9), #12586

Improvements 🔧

PHP 8.4: Prevent setting a default value for a virtual property (#3812), #12336, thanks @jakubtobiasz!

Bugfixes 🐛

PHP 8 stubs: Put built-in PHP enums in classes map instead of functions map, #12549, #12546
Virtual property cannot be uninitialized (https://github.com/phpstan/phpstan-src/commit/b82230a48267ef3d55c568a707a5560b30ccea20), #12547
Do not report invoking an aliased trait method by its original name as an error, #12544

Function signature fixes 🤖

Add false to all trader_* functions return type (#3815), thanks @rabol!

Update PHPStan packages to v2 (major) - autoclosed

Release Notes

Improvements 🔧

Bugfixes 🐛

Function signature fixes 🤖

Internals 🔍

Improvements 🔧

Bugfixes 🐛

Internals 🔍

Bugfixes 🐛

Improvements 🔧

Bugfixes 🐛

Function signature fixes 🤖

Internals 🔍

Bleeding edge 🔪

Improvements 🔧

Bugfixes 🐛

Function signature fixes 🤖

Internals 🔍

Major new features 🚀

Bleeding edge 🔪

Improvements 🔧

Bugfixes 🐛

Function signature fixes 🤖

Internals 🔍

Improvements 🔧

Bugfixes 🐛

Function signature fixes 🤖

Improvements 🔧

Bugfixes 🐛

Function signature fixes 🤖

Internals 🔍

Bugfixes 🐛

Internals 🔍

Major new features 🚀

Bleeding edge 🔪

Improvements 🔧

Bugfixes 🐛

Internals 🔍

Improvements 🔧

Bugfixes 🐛

Function signature fixes 🤖

Internals 🔍

Improvements 🔧

Bugfixes 🐛

Function signature fixes 🤖

Bugfixes 🐛

Improvements 🔧

Bugfixes 🐛

Internals 🔍

Improvements 🔧

Bugfixes 🐛

Internals 🔍

Improvements 🔧

Bugfixes 🐛

Function signature fixes 🤖

Internals 🔍

Improvements 🔧

Bugfixes 🐛

Internals 🔍

Improvements 🔧

Bugfixes 🐛

Improvements 🔧

Bugfixes 🐛

Function signature fixes 🤖

Improvements 🔧

Bugfixes 🐛

Function signature fixes 🤖

Internals 🔍

Improvements 🔧

Bugfixes 🐛

Function signature fixes 🤖

Internals 🔍

Improvements 🔧

Bugfixes 🐛

Internals 🔍

Major new features 🚀

Bleeding edge 🔪

Improvements 🔧

Bugfixes 🐛