<?xml version="1.0"?>
<psalm
    totallyTyped="false"
    errorLevel="4"
    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="lib/Doctrine/Persistence" />
        <ignoreFiles>
            <directory name="vendor" />
        </ignoreFiles>
    </projectFiles>
    <issueHandlers>
        <RedundantCondition>
            <errorLevel type="suppress">
                <!-- see https://github.com/JetBrains/phpstorm-stubs/pull/877 -->
                <file name="lib/Doctrine/Persistence/Reflection/TypedNoDefaultReflectionProperty.php"/>
            </errorLevel>
        </RedundantCondition>
    </issueHandlers>
</psalm>