chore: Bump vimeo/psalm from 4.3.1 to 4.7.1

[dependabot]

Bumps vimeo/psalm from 4.3.1 to 4.7.1.

Release notes

Sourced from vimeo/psalm's releases.

Fix potential templated static issue

Prevent type unsoundness in static generic

@​gharlan pointed out that return new static can be unsound on generic classes (#5383).

This release fixes that unsoundness, emitting an UnsafeGenericInstantiation issue in some instances. The docs have more information.

Other bugfixes

• @​weirdan fixed an issue with instanceof being flagged after a class_exists check (#5498)
• array_values and iterator_to_array should now respect nested templates (#5506)
• @​weirdan added a prohibition for @template annotations on closures (#5499)
• @​weirdan marked more functions as impure (#5524)
• Improved error message when calling isset(self::$some_property) when the property has a non-nullable type, with help from @​weirdan (#5489)
• @​vudaltsov marked flock and iterator_to_array as impure
• Ensure function and methods are marked as used inside throw expressions (#5540, #5545)
• Ensure nullsafe methods are assumed used (#5542)
• @​AndrolGenhald improved analysis of concats (#5544)
• @​weirdan improved the return type for get_object_vars() (#5557)
• @​weirdan added a coercion warning when coercing object to object{foo: string} (#5566)
• @​weirdan added support for arrays of objects in array_column (#5567)
• fix assigned-in-conditional edge-case (#5578, #5640)
• @​AndrolGenhald added a lot of improvements to class constant resolution (#5591)
• @​AndrolGenhald fixed method visibility false-negative (#5595)
• @​orklah allowed numeric to be falsy (#5598)
• @​AndrolGenhald improved int/float comparison for conditional types, allowing a fix for range types (#5601)
• @​AndrolGenhald fixed a race condition with cache directory setup (#5603)
• @​orklah added numeric - int = string|float calculations (#5611)
• @​samsonasik marked json_last_error as impure
• @​weirdan forbidded rejecting named arguments when the parent method supports them (#5627)
• @​Jean85 added compatibility for xdebug handler 2.0
• @​VincentLanglet added support for @phpstan-import-type as an alias for @psalm-import-type (#5648)
• @​orklah added missing documentation for @no-named-arguments (#5654)
• Use more accurate type combination rules when converting templated union (#5652)
• Prevent crash when reporting issue on virtual arg (#5662)
• Use mixed type for $foo->$bar, preventing UnusedVariable in some situations (#5518)
• Ensure @var docblocks don’t override a variable's by-reference property (#5517)

Better tracking of mixed issues

Features

Better tracking of mixed issues

On level 1 Psalm now provides traces whenever mixed types occur in your code, to help you pinpoint where the mixed types were introduced. Here's an article that goes into more detail.

Some unused code is now a level 1 issue

Unused code detection breaks down into two main categories: function-scoped unused code (e.g. unused variables and unused closure params) and codebase-scoped (unused public methods, unused public properties).

Psalm has unused code detection for a long time, but it's always been opt-in. Now in version 4.7 all function-scoped unused code issues are emitted when using level 1, Psalm's strictest level.

... (truncated)

Commits

• cd53e04 Improve messages
• 4f5c205 Improve error message for #5489
• 933822e Do not consider isset checks on static properties as redundant (#5525)
• 85a0ef0 Revert "Do not consider isset checks on static properties as redundant (#5525...
• 83f08bc Fix property tests
• 67c5dc3 Fix #5517 - don’t let a variable’s by-refness be overwritten by a @​var docblock
• 7b7354e Fix #5518 - add type for property with variable name
• daa4028 Add slashes
• 2fa55d1 Allow parent class to call child protected method
• 64fdac3 Fix #5641 - types should always be comparable to themselves
• Additional commits viewable in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot merge will merge this PR after your CI passes on it
• @dependabot squash and merge will squash and merge this PR after your CI passes on it
• @dependabot cancel merge will cancel a previously requested merge and block automerging
• @dependabot reopen will reopen this PR if it is closed
• @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually

[dependabot]

The following labels could not be found: php, dependencies, auto-squash.

[dependabot]

Superseded by #59.