phpstan.neon.dist

parameters:
    level: max
    paths:
        - src
        - tests
    tmpDir: reports/phpstan
    ignoreErrors:
        # Constructor parameter $aggregateState cannot carry PHPDoc per code-style rule;
        # the getter return-type mismatch is the downstream symptom of that constraint.
        - identifier: missingType.iterableValue
          path: src/Snapshot/Snapshot.php
        - identifier: return.type
          path: src/Snapshot/Snapshot.php
        # Constructor parameter $serializedEvent cannot carry PHPDoc per code-style rule.
        - identifier: missingType.iterableValue
          path: src/Upcast/IntermediateEvent.php
        # Trait argument-type error reported in context of test fixture upcasters,
        # whose rewrite() return is untyped because PHPDoc is prohibited in tests/.
        - identifier: argument.type
          path: src/Upcast/SingleUpcasterBehavior.php
        # Constructor parameter $propertyNames cannot carry PHPDoc per code-style rule;
        # the implode() argument-type error is the downstream symptom of that constraint.
        - identifier: missingType.iterableValue
          path: src/Exceptions/IncompleteAggregateState.php
        - identifier: argument.type
          path: src/Exceptions/IncompleteAggregateState.php
        # ReflectionClass requires class-string|object; ClassName::shortName accepts the wider
        # object|string so call sites can pass static::class. The narrowing is safe at every call.
        - identifier: argument.type
          path: src/Internal/ClassName.php
        # tests/ — PHPDoc and @var are prohibited inside tests/, so PHPStan errors
        # for typed arrays in fixtures and helpers route through ignoreErrors.
        - identifier: missingType.iterableValue
          path: tests/*
        - identifier: return.type
          path: tests/*
        - identifier: assign.propertyType
          path: tests/Models/*
        - identifier: property.nonObject
          path: tests/Unit/*
    reportUnmatchedIgnoredErrors: true