Ignored error pattern #^Method Patchlevel\\EventSourcing\\EventBus\\Message\:\:headers\(\) should return array\{aggregateName\?\: string, aggregateId\?\: string, playhead\?\: int\<1, max\>, recordedOn\?\: DateTimeImmutable, newStreamStart\?\: bool, archived\?\: bool\} but returns non\-empty\-array\<string, mixed\>\.$# in path /home/runner/work/event-sourcing/event-sourcing/src/EventBus/Message.php was not matched in reported errors.

PHPDoc tag @var for property Patchlevel\EventSourcing\EventBus\Message::$headers with type mixed is not subtype of native type array.

Property Patchlevel\EventSourcing\EventBus\Message::$headers type has no value type specified in iterable type array.

Method Patchlevel\EventSourcing\EventBus\Message::createWithHeaders() has parameter $headers with no value type specified in iterable type array.

PHPDoc tag @param for parameter $headers with type mixed is not subtype of native type array.

Method Patchlevel\EventSourcing\EventBus\Message::headers() return type has no value type specified in iterable type array.

PHPDoc tag @return with type mixed is not subtype of native type array.

Method Patchlevel\EventSourcing\EventBus\Message::withHeaders() has parameter $headers with no value type specified in iterable type array.

PHPDoc tag @param for parameter $headers with type mixed is not subtype of native type array.

Offset 'archived' does not exist on array{id: int<1, max>, aggregate: string, aggregate_id: string, playhead: int|string, event: string, payload: string, recorded_on: string, custom_headers: string}.