Unpexpected parameter names for SessionUpdateTimestampHandlerInterface

[zerkms]

https://psalm.dev/r/37d0b51da1

https://www.php.net/manual/en/class.sessionupdatetimestamphandlerinterface.php

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/37d0b51da1

<?php
declare(strict_types=1);

final class Redis implements \SessionUpdateTimestampHandlerInterface
{
    public function updateTimestamp(string $id, string $data): bool
    {
        return true;
    }

    public function validateId(string $id): bool
    {
        return false;
    }
}

Psalm output (using commit a75d26a):

ERROR: ParamNameMismatch - 6:44 - Argument 1 of Redis::updateTimestamp has wrong name $id, expecting $key as defined by SessionUpdateTimestampHandlerInterface::updateTimestamp

ERROR: ParamNameMismatch - 6:56 - Argument 2 of Redis::updateTimestamp has wrong name $data, expecting $value as defined by SessionUpdateTimestampHandlerInterface::updateTimestamp

[ging-dev]

Hi @zerkms, do you want open pull request?

https://github.com/vimeo/psalm/blob/5.x/dictionaries/CallMap_historical.php#L6586-L6587