Miss parameter from parent's phpdocs when return provided

[snapshotpl]

https://psalm.dev/r/d1158f23fb

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/d1158f23fb

<?php
interface Adapter
{
    /** @param int $offset */
    public function items($offset): array;
}

class Implementation2 implements Adapter
{
    public function items($offset): array
    {
        return [];
    }  
}

class Implementation implements Adapter
{
    /** @return array */
    public function items($offset): array
    {
        return [];
    }  
}

Psalm output (using commit b3b2389):

INFO: MissingParamType - 19:27 - Parameter $offset has no provided type

[weirdan]

This is possibly due to the fix for #4537

[muglug]

Yes, this is by design. It’s essentially impossible to mix-and-match docblocks.