psalm.xml

<?xml version="1.0"?>
<psalm
    errorLevel="7"
    resolveFromConfigFile="true"
    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
    xmlns="https://getpsalm.org/schema/config"
    xsi:schemaLocation="https://getpsalm.org/schema/config vendor/vimeo/psalm/config.xsd"
>
    <projectFiles>
        <directory name="core-bundle/src"/>
        <directory name="core-bundle/tests"/>
        <ignoreFiles>
            <directory name="core-bundle/src/Resources"/>
            <directory name="core-bundle/tests/Fixtures"/>
            <!--
            Symfony's ForwardCompatTestTrait definition makes Psalm fail with a
            "Could not locate trait statement" exception, therefore we have to
            ignore the RoutingTest.php file for now.

            The ForwardCompatTestTrait has been removed in Symfony 5, so as
            soon as we are compatible, this can be removed again.

            @see https://github.com/symfony/symfony/blob/4.4/src/Symfony/Bundle/FrameworkBundle/Test/ForwardCompatTestTrait.php
            -->
            <file name="core-bundle/tests/Functional/RoutingTest.php"/>
        </ignoreFiles>
    </projectFiles>
    <plugins>
        <pluginClass class="Psalm\PhpUnitPlugin\Plugin"/>
        <pluginClass class="Weirdan\DoctrinePsalmPlugin\Plugin"/>
        <pluginClass class="Seferov\SymfonyPsalmPlugin\Plugin"/>
    </plugins>
    <issueHandlers>
        <UndefinedConstant>
            <errorLevel type="suppress">
                <file name="core-bundle/src/Controller/InitializeController.php" />
            </errorLevel>
        </UndefinedConstant>
    </issueHandlers>
</psalm>