psalm.xml

<?xml version="1.0"?>
<!--
  findUnusedBaselineEntry: is buggy, can create an invalid SARIF file that trips up CI/GH
  (contains `"startLine":0,"endLine":0,"startColumn":0,"endColumn":0`)
  set to true when https://github.com/vimeo/psalm/issues/9712 is fixed
-->
<psalm
  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"
  errorLevel="4"
  findUnusedCode="false"
  ensureOverrideAttribute="false"
  errorBaseline="psalm-baseline.xml"
  findUnusedBaselineEntry="false"
>
  <projectFiles>
    <directory name="."/>
    <ignoreFiles allowMissingFiles="true">
      <directory name="legacy"/>
      <directory name="vendor"/>
      <directory name="storage"/>
      <directory name="bootstrap/cache"/>
      <directory name="tests"/><!-- install psalm/plugin-phpunit and psalm/plugin-mockery for the full tests support -->
    </ignoreFiles>
  </projectFiles>

  <plugins>
    <pluginClass class="Psalm\LaravelPlugin\Plugin"/>
  </plugins>

  <issueHandlers>
    <ClassMustBeFinal errorLevel="info"/>
    <ImplicitToStringCast errorLevel="info"/>
    <MissingAbstractPureAnnotation errorLevel="info"/>
    <MissingClosureReturnType errorLevel="info"/>
    <MissingImmutableAnnotation errorLevel="info"/>
    <MissingInterfaceImmutableAnnotation errorLevel="info"/>
    <MissingOverrideAttribute errorLevel="info"/>
    <MissingPureAnnotation errorLevel="info"/>
    <RedundantCast errorLevel="info"/>
    <RedundantCondition errorLevel="info"/>
    <UnnecessaryVarAnnotation errorLevel="suppress"/>
    <!-- We use "variant" property types in UserData inheritance
      to enforce certain children to un-optional some properties.
      https://psalm.dev/265 says this is bad because
      "for typed properties, this can cause a compile error".
      But it doesn't, as long as the child's properties are a subset
      of the (abstract) parent's.
      Ideally psalm will learn about this at some point,
      we downgrade it to info.
      TODO: move to baseline, scope to files, document as semi-permanent?
        (Alternatively, use copious line-level suppresses.)
      -->
    <NonInvariantPropertyType errorLevel="info"/>
    <NonInvariantDocblockPropertyType errorLevel="info"/>
  </issueHandlers>
</psalm>