2.2.2

[ondrejmirtes]

Improvements 🔧

• Narrow preg_match/preg_match_all subject string type when match is truthy (#5777), narrow types when using ternary on preg_match #14710, thanks @staabm and @VincentLanglet!
• Resolve per-element callback return types in array_map for closure and arrow function callbacks (#5716), Regression on combination of array_map and array_flip #14649, Typed array loses types after array_map #11656, thanks @VincentLanglet and @staabm!
• Support union types in str_repeat() (#5784), thanks @staabm!
• Report impossible class_exists/interface_exists/trait_exists/enum_exists (#5754), missing "is always false/true" errors on class_exists, method_exists, .. #14683, thanks @janedbal!
• Narrow variadic parameter array key integer type to int<0, max> (#5791), Variadic argument's type can be narrowed #14744, thanks @staabm and @VincentLanglet!
• Build an (unsealed) array shape in ArrayType::intersectKeyArray() when the other operand has known sealedness (#5792), array{a?: mixed, b?: mixed} expected, array<'a'|'b', mixed> given #14747
• Resolve WithoutImpurePoints purity transitively through calls to other effect-free callables (#5798), These collectors could work transitively #14759
• ctype_digit() narrows to decimal-int-string (#5311), thanks @staabm!
• Infer decimal-int-string/non-decimal-int-string for regex capturing groups matching (non-)digits (#5793), Support decimal-int-string in regex matching #14750, thanks @staabm, @VincentLanglet and @mvorisek!
• Infer decimal-int-string when casting int/int<a, b> to string (#5794), Support decimal-int-string in string cast #14753, thanks @staabm and @VincentLanglet!

Bugfixes 🐛

• Create cross-kind conditional expression holders in BooleanAnd/BooleanOr type specifier with truthy fallback for isset() (#5760), False positive  #10644, Track/narrow types of the values of of maybe-set array keys #11918, False positive when object === null is excluded via XOR #3385, False Positive: Optional array key with type constraint remaines "mixed" (checkExplicitMixed) #6202, missing has-offset via conditional type #14455, thanks @VincentLanglet and @staabm!
• Fix file path of trait errors reported directly in the trait (#5780), Some @phpstan-ignore are ignored in traits since v2.2.0 #14718, thanks @janedbal!
• PHPStan should not crash on startup when projects' composer.json is invalid (#5779), Array provided to ComposerJsonAndInstalledJsonSourceLocatorMaker::prefixPaths() #14724, thanks @staabm!
• Narrow array key type when removing HasOffsetType via ArrayType::tryRemove (#5756), array_key_exists does not narrow the same key definitively unset #9461, thanks @VincentLanglet and @staabm!
• Narrow value type instead of unsetting key in ConstantArrayType::tryRemove for HasOffsetValueType (#5776), ConstantArrayType::tryRemove incorrectly handle HasOffsetValueType #14711, thanks @VincentLanglet and @staabm!
• Allow reinitialization of a readonly property in __clone since PHP8.3 (#5731), Reinitialization of a readonly property in __clone #11495, thanks @grizzm0!
• Omit key type from unsealed ConstantArrayType description when the unsealed extra type is array-key (phpstan/phpstan-src@49074ec), Unsealed array shape is dumped too complex when simplified since v2.2.0 #14732
• Revert "Return list<mixed> from PDOStatement::fetchAll() (T of object not working #5643)" (#5795), thanks @staabm!
• Treat declarations with a non-void @throws as not effect-free in the CallTo*StatementWithoutImpurePointsRule family (#5802), CallToConstructorStatementWithoutImpurePointsRule does not see @throws above called constructor #14767

Function signature fixes 🤖

• Correct xdebug filename/trace function return types in functionMap to include false/null (#5788), Function signature: xdebug's xdebug_get_profiler_filename can return false : PHPStan 2.1.56 thinks otherwise #14736

Internals 🔍

• Cleanup instanceof ConstantStringType (#5783), thanks @staabm!
• Cleanup instanceof ConstantScalarType (#5785), thanks @staabm!
• Simplify use of getConstantScalarTypes() to getConstantScalarValues() (#5786), thanks @staabm!
• PHPBench: use custom report format (#5789), thanks @staabm!
• Add missing return (phpstan/phpstan-src@1643f14)
• Add regression test (#5797), "Offset decimal-int-string does not exist on array<string, string>." false positive #14758, thanks @staabm!

---

This discussion was created from the release 2.2.2.