False positive for variable parameter hints

[CodeDuck42]

The PHPDoc tag of foo[] should equal array<int, foo> and not array<foo>

 1/1 [▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓] 100%

 ------ ----------------------------------------------------------------------------------------------------------
  Line   baz.php
 ------ ----------------------------------------------------------------------------------------------------------
  10     PHPDoc tag @param for parameter $foos with type array<foo> is not subtype of native type array<int, foo>
 ------ ----------------------------------------------------------------------------------------------------------


 [ERROR] Found 1 error

foo.php

<?php

class foo
{
    public function bar(): void
    {
    }
}

baz.php

<?php

require_once __DIR__ . '/foo.php';

class baz
{
    /**
     * @param foo[] $foos
     */
    public function test(foo ...$foos): void
    {
        // ...
    }
}

[JanTvrdik]

The PHPDoc tag of foo[] should equal array<int, foo> and not array

No, the behavior is correct, although the error message should be improved to make it easier to understand where to problem is.

The correct way to document types of variadic parameters is

class baz
{
    /**
     * @param Foo ...$foos
     */
    public function test(Foo ...$foos): void
    {
        // ...
    }
}

i.e. the syntax in PHPDoc needs to match the native syntax.

[CodeDuck42]

Interesting so its more or less a problem of the IDE (PHPStorm), that doesn't handle variable parameter counts. A bit of a bummer, cause there is no declaration i can use to satisfy PHPStorm and phpstan at the moment.

Just for future reference: https://youtrack.jetbrains.com/issue/WI-29429