[Conductor] Update dev

[private-packagist]

This PR was automatically generated by Conductor.

The PR contains the changes generated by running the following command:

composer update phpstan/phpstan:2.2.3 --with-all-dependencies --minimal-changes

Changelog

phpstan/phpstan (Source: GitHub Releases)

2.2.3

This release fixes 52 issues! 🎉

Bleeding edge 🔪

• Report new on an expression whose type is not string|object via new.nonObject (#​5866), #​4922, thanks @​VincentLanglet and @​staabm!
• RequireFileExistsRule: Fix Differing behaviors when requiring or including relatively vs using __DIR__ (#​5879), thanks @​staabm!

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 🔧

• Result cache: Invalidate only package-dependent files when a Composer package changes (#​5933), thanks @​SanderMuller!
• Prevent ENV var tokens from being leaked by commited DI containers (#​5820), thanks @​staabm!
• Explain unresolvable and impossible types with reasons (#​5827)
• Support type predicates on callable and Closure types (#​5837), #​14800, #​11139
• Implement AccessoryDecimalIntegerStringType::tryRemove() and preserve accessories when re-unioning '0' (#​5816), #​14785, thanks @​staabm and @​VincentLanglet!
• Enumerate constant strings from bounded regex quantifications (a?, a{n}, a{n,m}) (#​5860), #​14820, thanks @​staabm!
• Preserve variable certainty when narrowing the base of a nullsafe operator (#​5870), #​7291, thanks @​VincentLanglet and @​staabm!
• Support ::class magic constant in array shape keys and const types (#​5891), thanks @​janedbal!
• Infer non-falsy-string&non-decimal-int-string for the magic name property on the UnitEnum/BackedEnum interfaces (#​5894), #​14839, thanks @​staabm and @​VincentLanglet!
• Narrow ob_get_contents()/ob_get_clean()/ob_get_flush()/ob_get_length() to non-false while output buffering is active (#​5909), #​10348, thanks @​staabm and @​VincentLanglet!
• Support treatPhpDocTypesAsCertain for null-safe methods/properties (#​5924), thanks @​rvanvelzen!
• Do not let a TemplateType member force Yes acceptance of an intersection (#​5926), #​13190, thanks @​rvanvelzen!
• Report always-true in_array(..., true) when every finite needle value is guaranteed in the haystack (#​5944), #​14873, thanks @​staabm and @​VincentLanglet!

Bugfixes 🐛

• Narrow the match subject when its assigned result is later narrowed (#​5808), #​14772, #​10843
• Do not create never-narrowing conditional expression holders in BooleanAnd/BooleanOr decomposition (#​5809), #​14774
• Gather all conjuncts of a compound condition side into BooleanAnd/BooleanOr conditional holders (#​5810), #​14780
• Do not split a swapped negated-conjunction holder side into per-expression holders (#​5810), #​14780
• Infer non-empty-list for preg_match_all() matches when the match succeeded (#​5812), #​14781, thanks @​staabm and @​VincentLanglet!
• Do not split a compound-boolean holder side whose asserted truth value is a disjunction (#​5817), #​14787
• Narrow regex subject to decimal-int-string when every alternation branch is a decimal integer (#​5814), #​14784, thanks @​staabm!
• Narrow ctype_digit() argument to numeric-string instead of decimal-int-string (#​5822), #​14792
• Revert #​5793 (#​5825), thanks @​staabm!
• Preserve keyed array prefix as unsealed tail when adding a general array with + (#​5832), #​14799
• Skip conditional expression guard when guard type is a subtype of the other branch's value (#​5848), #​14807
• Narrow switch case branch from the case condition's plain scope instead of its truthy scope (#​5852), #​14814
• Treat a regex alternation as maybe-empty when any branch is maybe-empty in isMaybeEmptyNode (#​5851), #​14809, thanks @​staabm and @​VincentLanglet!
• Combine alternation branch literals with their preceding prefix in regex group types (#​5851), #​14809, thanks @​staabm and @​VincentLanglet!
• Decompose union offset types in ConstantArrayType::flipArray() and fillKeysArray() to preserve per-key value precision (#​5719), #​14656, thanks @​VincentLanglet and @​staabm!
• Report exceptions thrown from ResultCacheMetaExtension during result cache restore as internal errors (#​5853), #​14805, thanks @​staabm and @​VincentLanglet!
• Include null in return type of Closure::bindTo() and Closure::bind() dynamic return type extensions (#​5675), #​5009, thanks @​VincentLanglet and @​staabm!
• Treat decimal-int-string as a numeric string in looseCompare() instead of assuming inequality with non-decimal strings (#​5824), #​14793, thanks @​VincentLanglet and @​staabm!
• Consider is_file($path) before checking require $path (#​5867), thanks @​staabm!
• Use genuine falsey narrowing (not the inverted truthy narrowing) for the consequent of BooleanAnd false-context conditional holders (#​5878), #​14828
• Narrow array element type after a keyless foreach whose body guards each element with an early exit (#​5877), #​5755
• Remember call expression as truthy/falsey alongside @​phpstan-assert-if-true argument narrowing (#​5885), #​14829, thanks @​staabm!
• Remember method/static call expression as truthy/falsey alongside @​phpstan-assert-if-true argument narrowing (#​5880), thanks @​staabm and @​VincentLanglet!
• Keep subtype-absorbed variables as conditional-expression targets when merging branches (#​5876), #​7948, #​4905, thanks @​VincentLanglet and @​staabm!
• Enter right-side-assign context for ??= so closures capturing the assigned variable by reference see its assigned type (#​5900), #​13810, thanks @​staabm!
• Propagate hasYield from yield in ternary branches (#​5904), #​5681, thanks @​staabm and @​VincentLanglet!
• Normalize constant-string member access ($obj->{'n'}) to bareword form when printing expression keys (#​5916), #​14847, thanks @​staabm and @​VincentLanglet!
• Do not report invariant template type mismatch when both type arguments are the same template parameter narrowed by control flow (#​5921), #​13190, thanks @​rvanvelzen!
• Prevent "Unresolvable type" errors when mapping constant arrays (#​5936), #​14844, thanks @​staabm and @​VincentLanglet!
• Preserve template bound for enum-case, integer-range and constant-bool subtypes in TemplateTypeFactory::create() (#​5905), #​10083, thanks @​staabm and @​VincentLanglet!
• Re-add complement of a dropped self-condition to boolean-decomposition holder types (#​5943), #​14874, thanks @​VincentLanglet and @​staabm!
• Skip degenerate no-op antecedents when building boolean conditional expression holders (#​5951), #​14878, thanks @​VincentLanglet and @​staabm!
• Resolve class-string expressions to object types when detecting unused private methods, constants and static properties (#​5953), #​14880, thanks @​staabm and @​VincentLanglet!
• Treat plain class-string as a definite subtype of class-string<object> in GenericClassStringType::isSuperTypeOf() (#​5956), #​14887
• Invalidate outer-scope expressions mutated by closures, arrow functions and callables passed as arguments (#​5957), #​14888

Performance 🏎️

• Stripe size-sorted files across parallel jobs (#​5844), thanks @​SanderMuller!
• Keep input order of files within striped jobs (#​5859), thanks @​SanderMuller!
• Avoid redundant work in hot type-system and scope paths (#​5829)
• NodeScopeResolver microoptimization (phpstan/phpstan-src@​fded4da)
• Remove unnecessary loop in FileExcluder->isExcludedFromAnalysing() (#​5886), thanks @​staabm!
• Faster VerbosityLevel (#​5932), thanks @​staabm!
• Sort enum-case unions by class and case name instead of describe() (#​5929), thanks @​SanderMuller!
• Faster TypeCombinator (#​5934), thanks @​staabm!
• Constant-scalar and enum-case union fast path in TypeCombinator::intersect (#​5935), thanks @​SanderMuller!

Function signature fixes 🤖

• Add false to Redis::mget() return type (#​5831), thanks @​benconda!
• Accept the full LIBXML_* option family for every libxml options/flags parameter (#​5847), #​14808
• Fix return type of SQLite3Result::column{Name,Type} (#​5940), thanks @​meinemitternacht!

Internals 🔍

• Introduce ClosureType::isStaticClosure() (#​5699), thanks @​VincentLanglet and @​staabm!
• install bashunit via pinned github action (#​5826), thanks @​staabm!
• Dispatch specifyTypesInCondition through ExprHandler::specifyTypes (#​5833)
• Detect analyser fixtures missing a sufficient // lint >= comment for the version-specific PHP syntax they use (#​5855), #​14816, thanks @​staabm and @​VincentLanglet!
• Add more regex tests (#​5858), thanks @​staabm!
• Remove base64_decode workaround (#​5869), thanks @​VincentLanglet!
• RequiredPhpVersionVisitor: report native union types as requiring PHP 8.0 (#​5872), #​14824, thanks @​VincentLanglet and @​staabm!
• RequiredPhpVersionVisitor: report promoted properties as requiring PHP 8.0 (#​5882), #​14831, thanks @​staabm!
• RequiredPhpVersionVisitor: report named arguments as requiring PHP 8.0 (#​5890)
• RequiredPhpVersionVisitor: Don't duplicate php-version knowledge (#​5896), thanks @​staabm!
• Fix OrChainIdenticalComparisonToInArrayRule (#​5881), thanks @​staabm!
• issue-bot: upgrade PHPUnit, fix deprecations (#​5884), thanks @​staabm!
• issue-bot: write output into output-stream instead of plain echo (#​5883), thanks @​staabm!
• Implement PhpMinorVersionIterator (#​5897), thanks @​staabm!
• Cover PhpMinorVersionIterator::__construct() in BC promise (#​5898), thanks @​staabm!
• Record top-level PHPStan errors in issue-bot results (#​5901)
• Refactor: Add BleedingEdgeToggle::withBleedingEdge() and use it instead of manual set/restore in tests (#​5915), #​14859, thanks @​VincentLanglet!
• Do not hold the global BleedingEdgeToggle across yield in data providers - fixes racy/flaky tests (#​5911), #​14855, thanks @​staabm and @​VincentLanglet!
• Add regression test for invariant template type narrowed by control flow in a method getter (#​5922), #​11776, thanks @​staabm and @​VincentLanglet!
• Re-register the DI container in setUp() of tests with PHP-version-dependent reflection assertions - fixes racy/flaky tests (#​5917), #​14860, thanks @​staabm and @​VincentLanglet!
• Utilize BleedingEdgeToggle::withBleedingEdge to simplify another test (#​5931), thanks @​staabm!
• Utilize BleedingEdgeToggle::withBleedingEdge to simplify test (#​5930), thanks @​staabm!
• Fix PHPUnit "incomplete version requirement" warning (#​5949), thanks @​staabm!

Task options

• Recreate commit - Conductor recreates the update commit and overwrites all additional changes made in this branch.
• Details
• Skip - Conductor won't attempt to update the dependency to this exact version again.
• All tasks
• Settings
• Docs

If you close the PR, the task will be skipped and Conductor will schedule the next task. Clicking the "Skip" button in the UI has the same effect. Conductor won't attempt to update the dependency to this exact version again but it will schedule updates to newer versions.

---

Powered by Private Packagist

[private-packagist]

composer.lock

Dev Package changes

Package	Operation	From	To	About
phpstan/phpstan	upgrade	2.2.2	2.2.3	diff

---

Settings · Docs · Powered by Private Packagist

[packagist-psc-dev]

Warning

PRIVATE PACKAGIST TRIAL EXPIRED
Conductor will stop sending you pull requests and you won't receive any Update Review comments. To keep your Private Packagist organization active correct your billing information at https://packagist.com/orgs/webforge-labs/billing

composer.lock

Dev Package changes

Package	Operation	From	To	About
phpstan/phpstan	upgrade	2.2.2	2.2.3	diff

---

Settings · Docs · Powered by Private Packagist