vimeo/psalm 4.7.3

Bugfixes galore

on PHP Packagist

Improved unused property detection

Psalm emits UnusedProperty and PossiblyUnusedProperty issues when properties are declared but never referenced. Previously Psalm would count a property assignment as a reference to a property, but this has now been fixed so a property is treated as unused unless it is explicitly read from (#5810). As before, UnusedProperty is emitted for private properties, while PossiblyUnusedProperty is emitted for public and protected properties.

More ParamNameMismatch strictness

When I originally implemented ParamNameMismatch I ignored methods with only one param, thinking that people would not call methods with a single param using named arguments, but in retrospect this was a little too liberal. @VincentLanglet has restricted this appropriately (#5732)

Other bugfixes

• Improved negation of complex conditionals containing assignments (#5685)
• combining scalar and empty-scalar should result in scalar (#5696)
• Inherit class-level suppressions when checking methods (#5687, #3357) - thanks @weirdan
• infer never types in more situations (#5777) — thanks @weirdan
• prevent notice for some invalid docblocks (#5709) - thanks @weirdan
• prefer @psalm-template over @phpstan-template (#5713) - thanks @weirdan
• add JSON schema link for SARIF output (#5718) - thanks @weirdan
• unpack can return false — thanks @robchett
• improved array_splice inference (#5738) — thanks @orklah
• combining never and empty should result in never(#5756)
• prevent OOM when using array_merge inside a loop (#4910)
• prevent crash when templates cannot be resolved (#5073)
• all opcache_* functions are impure (#5761)
• prevent OOM on very large conditionals (#5327)
• improved inference after a nullsafe method call has been made (#5771) - thanks @orklah
• prevent crash with class-string-map usage (#5434)
• improved inference of array_fill (#5770) — thanks @olsavmic
• fixed bug extending a mixed param (#5763) — thanks @orklah
• added link to GitHub Actions report format (#5759) — thanks @sjparkinson
• call methods with proper params (#5768)
• preserve type after redundant cast to int (#5773) — thanks @orklah
• improved return type of htmlspecialchars and strlen (#5785, #5793) — thanks @still-dreaming-1 and @orklah
• Psalm Refactor prevent trying to move synthetically-produced parts of the AST (#5780) — thanks @pawel-slowik
• narrow possible types when two variables are compared (#5774) — thanks @orklah
• Catch nullref inside __invoke arguments (#5809)
• allow ''| at the start of a union type in docblocks (#5814) — thanks @orklah
• add stubs for mongodb (#5813) — thanks @franmomu
• improve generated assertions for >= 0 (#5815) — thanks @orklah
• prevent incorrect templated array types (#5799)
• transform bad array offsets where necessary (#5817) — thanks @orklah