psalm.xml

<?xml version="1.0"?>
<psalm
    totallyTyped="false"
    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="src" />
    </projectFiles>

    <issueHandlers>
        <LessSpecificReturnType errorLevel="error" />

        <!-- level 3 issues - slightly lazy code writing, but provably low false-negatives -->

        <DeprecatedMethod errorLevel="error" />
        <DeprecatedProperty errorLevel="error" />
        <DeprecatedClass errorLevel="error" />
        <DeprecatedConstant errorLevel="error" />
        <DeprecatedFunction errorLevel="error" />
        <DeprecatedInterface errorLevel="error" />
        <DeprecatedTrait errorLevel="error" />

        <InternalMethod errorLevel="error" />
        <InternalProperty errorLevel="error" />
        <InternalClass errorLevel="error" />

        <MissingClosureReturnType errorLevel="error" />
        <MissingReturnType errorLevel="error" />
        <MissingPropertyType errorLevel="error" />
        <InvalidDocblock errorLevel="error" />
        <MisplacedRequiredParam errorLevel="error" />

        <PropertyNotSetInConstructor errorLevel="error" />
        <MissingConstructor errorLevel="error" />
        <MissingClosureParamType errorLevel="error" />
        <MissingParamType errorLevel="error" />

        <RedundantCondition errorLevel="error" />

        <DocblockTypeContradiction errorLevel="error" />
        <RedundantConditionGivenDocblockType errorLevel="error" />

        <UnresolvableInclude errorLevel="error" />

        <RawObjectIteration errorLevel="error" />

        <InvalidStringClass errorLevel="error" />

        <!-- level 4 issues - points to possible deficiencies in logic, higher false-positives -->

        <MoreSpecificReturnType errorLevel="error" />
        <LessSpecificReturnStatement errorLevel="error" />
        <TypeCoercion errorLevel="error" />

        <PossiblyFalseArgument errorLevel="error" />
        <PossiblyFalseIterator errorLevel="error" />
        <PossiblyFalseOperand errorLevel="error" />
        <PossiblyFalsePropertyAssignmentValue errorLevel="error" />
        <PossiblyFalseReference errorLevel="error" />
        <PossiblyInvalidArgument errorLevel="error" />
        <PossiblyInvalidArrayAccess errorLevel="error" />
        <PossiblyInvalidArrayAssignment errorLevel="error" />
        <PossiblyInvalidArrayOffset errorLevel="error" />
        <PossiblyInvalidCast errorLevel="error" />
        <PossiblyInvalidFunctionCall errorLevel="error" />
        <PossiblyInvalidIterator errorLevel="error" />
        <PossiblyInvalidMethodCall errorLevel="error" />
        <PossiblyInvalidOperand errorLevel="error" />
        <PossiblyInvalidPropertyAssignment errorLevel="error" />
        <PossiblyInvalidPropertyAssignmentValue errorLevel="error" />
        <PossiblyInvalidPropertyFetch errorLevel="error" />
        <PossiblyNullArgument errorLevel="error" />
        <PossiblyNullArrayAccess errorLevel="error" />
        <PossiblyNullArrayAssignment errorLevel="error" />
        <PossiblyNullArrayOffset errorLevel="error" />
        <PossiblyNullFunctionCall errorLevel="error" />
        <PossiblyNullIterator errorLevel="error" />
        <PossiblyNullOperand errorLevel="error" />
        <PossiblyNullPropertyAssignment errorLevel="error" />
        <PossiblyNullPropertyAssignmentValue errorLevel="error" />
        <PossiblyNullPropertyFetch errorLevel="error" />
        <PossiblyNullReference errorLevel="error" />
        <PossiblyUndefinedGlobalVariable errorLevel="error" />
        <PossiblyUndefinedVariable errorLevel="error" />
        <PossiblyUndefinedArrayOffset errorLevel="error" />
        <PossiblyUndefinedMethod errorLevel="error" />

        <!-- level 5 issues - should be avoided at mosts costs... -->

        <ForbiddenCode errorLevel="error" />
        <ImplicitToStringCast errorLevel="error" />
        <InvalidScalarArgument errorLevel="error" />
        <InvalidToString errorLevel="error" />
        <InvalidOperand errorLevel="error" />
        <NoInterfaceProperties errorLevel="error" />
        <TooManyArguments errorLevel="error" />
        <TypeDoesNotContainType errorLevel="error" />
        <TypeDoesNotContainNull errorLevel="error" />
        <MissingDocblockType errorLevel="error" />
        <ImplementedReturnTypeMismatch errorLevel="error" />
        <ImplementedParamTypeMismatch errorLevel="error" />

        <!-- level 6 issues - really bad things -->

        <InvalidNullableReturnType errorLevel="error" />
        <NullableReturnStatement errorLevel="error" />
        <InvalidFalsableReturnType errorLevel="error" />
        <FalsableReturnStatement errorLevel="error" />

        <MoreSpecificImplementedParamType errorLevel="error" />
        <LessSpecificImplementedReturnType errorLevel="error" />

        <InvalidReturnStatement errorLevel="error" />
        <InvalidReturnType errorLevel="error" />
        <UndefinedThisPropertyAssignment errorLevel="error" />
        <UndefinedInterfaceMethod errorLevel="error" />

        <!-- level 7 issues - even worse -->

        <UndefinedThisPropertyAssignment errorLevel="error" />
        <UndefinedPropertyAssignment errorLevel="error" />
        <UndefinedThisPropertyFetch errorLevel="error" />
        <UndefinedPropertyFetch errorLevel="error" />

        <InvalidReturnStatement errorLevel="error" />
        <InvalidReturnType errorLevel="error" />
        <InvalidArgument errorLevel="error" />
        <InvalidPropertyAssignmentValue errorLevel="error" />
        <InvalidArrayOffset errorLevel="error" />
        <InvalidArrayAssignment errorLevel="error" />
        <InvalidArrayAccess errorLevel="error" />
        <InvalidClone errorLevel="error" />

    </issueHandlers>
</psalm>