"Cannot declare class JsonException, because the name is already in use" when using Psalm 3.4.0 from PHAR

[sebastianbergmann]

./tools/psalm --version                 
PHP Warning:  Cannot declare class JsonException, because the name is already in use in phar:///usr/local/src/phpunit/tools/psalm/vendor/symfony/polyfill-php73/Resources/stubs/JsonException.php on line 24
PHP Stack trace:
PHP   1. {main}() /usr/local/src/phpunit/tools/psalm:0
PHP   2. require() /usr/local/src/phpunit/tools/psalm:14
PHP   3. require_once() phar:///usr/local/src/phpunit/tools/psalm/psalm:5
PHP   4. _HumbugBox72a00c5a74ef\requireAutoloaders() phar:///usr/local/src/phpunit/tools/psalm/src/psalm.php:215
PHP   5. require_once() phar:///usr/local/src/phpunit/tools/psalm/src/command_functions.php:21
PHP   6. class_exists() phar:///usr/local/src/phpunit/tools/psalm/vendor/autoload.php:13
PHP   7. spl_autoload_call() phar:///usr/local/src/phpunit/tools/psalm/vendor/autoload.php:13
PHP   8. Composer\Autoload\ClassLoader->loadClass() phar:///usr/local/src/phpunit/tools/psalm/vendor/autoload.php:13
PHP   9. Composer\Autoload\includeFile() phar:///usr/local/src/phpunit/tools/psalm/.box/vendor/composer/ClassLoader.php:322
PHP  10. include() phar:///usr/local/src/phpunit/tools/psalm/.box/vendor/composer/ClassLoader.php:444
PHP  11. class_alias() phar:///usr/local/src/phpunit/tools/psalm/vendor/symfony/polyfill-php73/Resources/stubs/JsonException.php:24

Warning: Cannot declare class JsonException, because the name is already in use in phar:///usr/local/src/phpunit/tools/psalm/vendor/symfony/polyfill-php73/Resources/stubs/JsonException.php on line 24

Call Stack:
    0.0001     401880   1. {main}() /usr/local/src/phpunit/tools/psalm:0
    0.0266    1340632   2. require('phar:///usr/local/src/phpunit/tools/psalm/psalm') /usr/local/src/phpunit/tools/psalm:14
    0.0273    1444544   3. require_once('phar:///usr/local/src/phpunit/tools/psalm/src/psalm.php') phar:///usr/local/src/phpunit/tools/psalm/psalm:5
    0.0276    1480768   4. _HumbugBox72a00c5a74ef\requireAutoloaders() phar:///usr/local/src/phpunit/tools/psalm/src/psalm.php:215
    0.0278    1564696   5. require_once('phar:///usr/local/src/phpunit/tools/psalm/vendor/autoload.php') phar:///usr/local/src/phpunit/tools/psalm/src/command_functions.php:21
    0.0304    2194608   6. class_exists() phar:///usr/local/src/phpunit/tools/psalm/vendor/autoload.php:13
    0.0304    2194672   7. spl_autoload_call() phar:///usr/local/src/phpunit/tools/psalm/vendor/autoload.php:13
    0.0304    2194736   8. Composer\Autoload\ClassLoader->loadClass() phar:///usr/local/src/phpunit/tools/psalm/vendor/autoload.php:13
    0.0304    2194736   9. Composer\Autoload\includeFile() phar:///usr/local/src/phpunit/tools/psalm/.box/vendor/composer/ClassLoader.php:322
    0.0304    2197240  10. include('phar:///usr/local/src/phpunit/tools/psalm/vendor/symfony/polyfill-php73/Resources/stubs/JsonException.php') phar:///usr/local/src/phpunit/tools/psalm/.box/vendor/composer/ClassLoader.php:444
    0.0304    2197240  11. class_alias() phar:///usr/local/src/phpunit/tools/psalm/vendor/symfony/polyfill-php73/Resources/stubs/JsonException.php:24

Psalm 3.4.0@99e6cd819f829babf50c5852d6f62d40b1fec9d9

[muglug]

Fixed, at least for the moment, in 99a2d86

[muglug]

I've tagged a release - the Phar should be available in about ten minutes