vimeo/psalm 3.8.4

on PHP Packagist

Features

Class constant wildcards

Psalm now supports wildcards when specifying class constants. Instead of writing
@psalm-param self::ERROR_ONE|self::ERROR_TWO,
you can now write self::ERROR_* and Psalm will resolve all matching constants:

class A {
    const ERROR_ONE = 'some error';
    const ERROR_TWO = 'another error';
    const WARNING_THREE = 'some warning';

    /**
     * @psalm-param self::ERROR_* $i
     */
    public static function foo(string $i) : void {}
}

A::foo(A::ERROR_ONE);
A::foo(A::ERROR_TWO);
A::foo(A::WARNING_THREE); // this is an issue

(#2739)

Other features

• allow XML imports in Psalm config files - thanks @weirdan (#2635)
• @scottarc got Psalm running on PHP 8 (#2660)
• Support GitHub checks-compatible output with --output-format=github (#2678)
• @pilif added a config flag that allows you to specify the version of PHP that Psalm expects (#2715)
• added a new @psalm-readonly-allow-private-mutation annotation for public properties that you don't want to be editable outside the context of a class, but you do want to manipulate in private methods (#2729)

Bugfixes

• Prevent crashes when combining hard-to-resolve constants (#2623)
• Infer arrow function effects for array_filter (#2627)
• Allow constant arrays to be interpreted as lists (#2624)
• @ShiraNai7 re-fixed DOMXPath::query and added a generic version of DOMNamedNodeMap (#2703)
• @alfredbez fixed RarArchive signatures
• @l-x improved PDO::fetch return types
• Allow non-empty-list in @psalm-assert annotation (#2636)
• Explicit lists merged together are still lists (#2642)
• Improve type inference of autoloaded constants (#2644)
• Allow destructuring of a callable array (#2653)
• Fix conditional class definition using traits (#2645)
• Ensure template types are always defined as coming from docblocks (#2625)
• Allow assertions on resource types (#2626)
• Ensure that exceptions thrown inside catch blocks are warned about (#2658)
• Language server catch more unanalyzed file exceptions to prevent crashes (#2633)
• Fix some performance bottlenecks - thanks @bendavies (#2671)
• Detect invalid array_push, array_unshfit on properties (#2661)
• Allow .phpstorm.meta.php to be a directory – thanks @SignpostMarv (#2640)
• Improve purity checks for a number of functions (#2679, #2631)
• Prevent invalid pass-by-ref calls in pure functions (#2632)
• Improve handling of null coalescing (#2677)
• Always ++/-- operators in unknown function calls (#2685)
• @orklah added list<...> notation to a number of stubbed functions (#2675, #2693)
• Evaluate call_user_func more thoroughly (#726)
• foreach should allow for value variable changes inside loop (#2688)
• Use more accurate types for very large class constant arrays (#2690)
• @pilif and @voku marked more functions as impure (#2699)
• Understand break conditions in switches nested inside loops and vice-versa (#2700)
• Prevent references to static properties in pure functions (#2696)
• @pilif detected a state corruption bug (hanging by-reference var) when sorting baseline output (#2710)
• array_merge should avoid possibly-false issues where appropriate (#2704)
• Allow === checks on objects of unknown type (#2707)
• Allow __toString to have a more specific type (#2712)
• Treat an interface that defines __invoke as callable (#2713)
• Allow @throws self (#2720)
• Reduce likely false-negatives after calling isset on nested array keys (#2724)
• strengthen templated resolution around is_a and explicit class-string checks (#2734, #2735)
• @LeSuisse fixed params for ldap_bind
• Fix a couple of bugs in --diff-methods mode
• @BenMorel improved return types for PDOStatement::fetchColumn
• Added better stubs for ext-ds classes, thanks to @enumag's work on PHPStan
• Improve assertions on templated types (#2756)
• Psalter don't remove string casts when removing variables, as they might implicitly call a __toString method (#2752)
• @morozov added support for installation alongside PHPUnit 9