← All results

Array element and list syntax in PHPDoc

Group: PHPDoc basics · Category: phpdoc · File: phpdoc_basics_array_generic_syntax.php

string[], array<string>, array<int, string>, and list<string> are the everyday spellings. arrays_list_element_type already asks whether a list<int> rejects strings; this file asks whether each syntax is resolved at all. References: - PHPStan array types - Psalm array types

Analyzer results

AnalyzerVersionResultDiagnostics
phan 6.0.7Phan 6.0.7 php-ast version 1.1.3 PHP version used to run Phan: 8.5.9 Enforced 
phpdoc_basics_array_generic_syntax.php:53: Argument 1 ($values) is [1] of type array{0:1} but \Conformance\Tests\PhpdocBasicsArrayGenericSyntax\takesStringArray() takes string[] defined at /Users/megurine/repo/php/php-typing-conformance/conformance/tests/phpdoc_basics_array_generic_syntax.php:23 [PhanTypeMismatchArgument]
phpdoc_basics_array_generic_syntax.php:54: Argument 1 ($values) is [1] of type array{0:1} but \Conformance\Tests\PhpdocBasicsArrayGenericSyntax\takesGenericStringArray() takes string[] defined at /Users/megurine/repo/php/php-typing-conformance/conformance/tests/phpdoc_basics_array_generic_syntax.php:30 [PhanTypeMismatchArgument]
phpdoc_basics_array_generic_syntax.php:55: Argument 1 ($values) is ['one'=>'one'] of type array{one:'one'} but \Conformance\Tests\PhpdocBasicsArrayGenericSyntax\takesIntegerStringMap() takes array<int,string> defined at /Users/megurine/repo/php/php-typing-conformance/conformance/tests/phpdoc_basics_array_generic_syntax.php:37 [PhanTypeMismatchArgument]
phpdoc_basics_array_generic_syntax.php:56: Argument 1 ($values) is [1] of type array{0:1} but \Conformance\Tests\PhpdocBasicsArrayGenericSyntax\takesStringList() takes list<string> defined at /Users/megurine/repo/php/php-typing-conformance/conformance/tests/phpdoc_basics_array_generic_syntax.php:44 [PhanTypeMismatchArgument]
  • Recognition: spelling resolved
  • Enforcement: 4/4 of the expected violations reported
phpstan 2.2.15PHPStan - PHP Static Analysis Tool 2.2.15 Enforced reported Lv.5+ 
phpdoc_basics_array_generic_syntax.php:53: Parameter #1 $values of function Conformance\Tests\PhpdocBasicsArrayGenericSyntax\takesStringArray expects array<string>, array<int, int> given. [reported-from-level=5]
phpdoc_basics_array_generic_syntax.php:54: Parameter #1 $values of function Conformance\Tests\PhpdocBasicsArrayGenericSyntax\takesGenericStringArray expects array<string>, array<int, int> given. [reported-from-level=5]
phpdoc_basics_array_generic_syntax.php:55: Parameter #1 $values of function Conformance\Tests\PhpdocBasicsArrayGenericSyntax\takesIntegerStringMap expects array<int, string>, array<string, string> given. [reported-from-level=5]
phpdoc_basics_array_generic_syntax.php:56: Parameter #1 $values of function Conformance\Tests\PhpdocBasicsArrayGenericSyntax\takesStringList expects list<string>, array{1} given. [reported-from-level=5]
With strict-rules
phpdoc_basics_array_generic_syntax.php:53: Parameter #1 $values of function Conformance\Tests\PhpdocBasicsArrayGenericSyntax\takesStringArray expects array<string>, array<int, int> given.
phpdoc_basics_array_generic_syntax.php:54: Parameter #1 $values of function Conformance\Tests\PhpdocBasicsArrayGenericSyntax\takesGenericStringArray expects array<string>, array<int, int> given.
phpdoc_basics_array_generic_syntax.php:55: Parameter #1 $values of function Conformance\Tests\PhpdocBasicsArrayGenericSyntax\takesIntegerStringMap expects array<int, string>, array<string, string> given.
phpdoc_basics_array_generic_syntax.php:56: Parameter #1 $values of function Conformance\Tests\PhpdocBasicsArrayGenericSyntax\takesStringList expects list<string>, array{1} given.
  • Recognition: spelling resolved
  • Enforcement: 4/4 of the expected violations reported
psalm 6.18.0Psalm 6.18.0@536dd6236b39a5115385b0307b42d6d1ad431a02
next: 7.0.0-beta22		 Enforced 
phpdoc_basics_array_generic_syntax.php:53: Argument 1 of Conformance\Tests\PhpdocBasicsArrayGenericSyntax\takesStringArray expects array<array-key, string>, but list{1} provided [InvalidArgument]
phpdoc_basics_array_generic_syntax.php:54: Argument 1 of Conformance\Tests\PhpdocBasicsArrayGenericSyntax\takesGenericStringArray expects array<array-key, string>, but list{1} provided [InvalidArgument]
phpdoc_basics_array_generic_syntax.php:55: Argument 1 of Conformance\Tests\PhpdocBasicsArrayGenericSyntax\takesIntegerStringMap expects array<int, string>, but array{one: 'one'} provided [InvalidArgument]
phpdoc_basics_array_generic_syntax.php:56: Argument 1 of Conformance\Tests\PhpdocBasicsArrayGenericSyntax\takesStringList expects list<string>, but list{1} provided [InvalidArgument]
  • Recognition: spelling resolved
  • Enforcement: 4/4 of the expected violations reported
mago 1.50.0mago 1.50.0 Enforced 
phpdoc_basics_array_generic_syntax.php:53: Invalid argument type for argument #1 of `Conformance\Tests\PhpdocBasicsArrayGenericSyntax\takesStringArray`: expected `array<array-key, string>`, but found `list{int(1)}`. [invalid-argument]
phpdoc_basics_array_generic_syntax.php:54: Invalid argument type for argument #1 of `Conformance\Tests\PhpdocBasicsArrayGenericSyntax\takesGenericStringArray`: expected `array<array-key, string>`, but found `list{int(1)}`. [invalid-argument]
phpdoc_basics_array_generic_syntax.php:55: Possible argument type mismatch for argument #1 of `Conformance\Tests\PhpdocBasicsArrayGenericSyntax\takesIntegerStringMap`: expected `array<int, string>`, but possibly received `array{'one': string('one')}`. [possibly-invalid-argument]
phpdoc_basics_array_generic_syntax.php:56: Possible argument type mismatch for argument #1 of `Conformance\Tests\PhpdocBasicsArrayGenericSyntax\takesStringList`: expected `list<string>`, but possibly received `list{int(1)}`. [possibly-invalid-argument]
  • Recognition: spelling resolved
  • Enforcement: 4/4 of the expected violations reported
mir 0.78.0mir 0.78.0 Partly enforced (3/4) 
phpdoc_basics_array_generic_syntax.php:53: InvalidArgument: Argument $values of takesStringArray() expects 'array<int|string, string>', got 'array{0: 1}' [MIR0201]
phpdoc_basics_array_generic_syntax.php:54: InvalidArgument: Argument $values of takesGenericStringArray() expects 'array<int|string, string>', got 'array{0: 1}' [MIR0201]
phpdoc_basics_array_generic_syntax.php:56: InvalidArgument: Argument $values of takesStringList() expects 'list<string>', got 'array{0: 1}' [MIR0201]
  • Recognition: spelling resolved
  • Enforcement: 3/4 of the expected violations reported
phpantom 0.10.0phpantom_lsp 0.10.0 Partly enforced (3/4) 
phpdoc_basics_array_generic_syntax.php:53: Argument 1 ($values) expects array<string>, got array{1} [type_mismatch_argument]
phpdoc_basics_array_generic_syntax.php:54: Argument 1 ($values) expects array<string>, got array{1} [type_mismatch_argument]
phpdoc_basics_array_generic_syntax.php:56: Argument 1 ($values) expects list<string>, got array{1} [type_mismatch_argument]
  • Recognition: spelling resolved
  • Enforcement: 3/4 of the expected violations reported
intelephense 1.18.5intelephense 1.18.5 Not enforced

No diagnostics reported.

  • Recognition: spelling resolved
  • Enforcement: 0/4 of the expected violations reported
phpactor 2026.06.23.0Phpactor 2026.06.23.0 Not enforced

No diagnostics reported.

  • Recognition: spelling resolved
  • Enforcement: 0/4 of the expected violations reported
phpy 1.0.19274phpy 1.0.19274 Not enforced

No diagnostics reported.

  • Recognition: spelling resolved
  • Enforcement: 0/4 of the expected violations reported
qodana 262.9437.196Qodana 262.9437.196 Not enforced

No diagnostics reported.

  • Recognition: spelling resolved
  • Enforcement: 0/4 of the expected violations reported
noverify 0.5.5NoVerify, version 0.5.5: built on: 2025.04.22 14:36:46 OS: r-kuchinskas arm64 Commit: 4774b82f8adc53fbef38f95e97af4b953b4d1529 Unrecognized 
phpdoc_basics_array_generic_syntax.php:30: param $values miss matched with phpdoc type <<array<string>>> [funcParamTypeMissMatch]
phpdoc_basics_array_generic_syntax.php:37: param $values miss matched with phpdoc type <<array<int, string>>> [funcParamTypeMissMatch]
phpdoc_basics_array_generic_syntax.php:44: param $values miss matched with phpdoc type <<list<string>>> [funcParamTypeMissMatch]
  • Recognition: spelling not resolved — reported on declaration line(s) 30, 37, 44
  • Enforcement: 0/4 of the expected violations reported — incidental, since the spelling was not resolved
steins 0.1.8steins 0.1.8 (2026-09-21 revision 76306a9) Enforced 
phpdoc_basics_array_generic_syntax.php:53: argument [1] to takesStringArray() violates declared @param string[] $values — declared contract violation [phpdoc.param-mismatch]
phpdoc_basics_array_generic_syntax.php:54: argument [1] to takesGenericStringArray() violates declared @param array<string> $values — declared contract violation [phpdoc.param-mismatch]
phpdoc_basics_array_generic_syntax.php:55: argument ['one' => 'one'] to takesIntegerStringMap() violates declared @param array<int, string> $values — declared contract violation [phpdoc.param-mismatch]
phpdoc_basics_array_generic_syntax.php:56: argument [1] to takesStringList() violates declared @param list<string> $values — declared contract violation [phpdoc.param-mismatch]
  • Recognition: spelling resolved
  • Enforcement: 4/4 of the expected violations reported
phpstan-strict 2.2.15PHPStan - PHP Static Analysis Tool 2.2.15 Enforced 
phpdoc_basics_array_generic_syntax.php:53: Parameter #1 $values of function Conformance\Tests\PhpdocBasicsArrayGenericSyntax\takesStringArray expects array<string>, array<int, int> given.
phpdoc_basics_array_generic_syntax.php:54: Parameter #1 $values of function Conformance\Tests\PhpdocBasicsArrayGenericSyntax\takesGenericStringArray expects array<string>, array<int, int> given.
phpdoc_basics_array_generic_syntax.php:55: Parameter #1 $values of function Conformance\Tests\PhpdocBasicsArrayGenericSyntax\takesIntegerStringMap expects array<int, string>, array<string, string> given.
phpdoc_basics_array_generic_syntax.php:56: Parameter #1 $values of function Conformance\Tests\PhpdocBasicsArrayGenericSyntax\takesStringList expects list<string>, array{1} given.
  • Recognition: spelling resolved
  • Enforcement: 4/4 of the expected violations reported
psalm-next 7.0.0-beta22Psalm 7.0.0-beta22@de27e5724ee5997a1e3baee4d394ca6f4e46eba0 Enforced 
phpdoc_basics_array_generic_syntax.php:53: Argument 1 of Conformance\Tests\PhpdocBasicsArrayGenericSyntax\takesStringArray expects array<array-key, string>, but list{1} provided [InvalidArgument]
phpdoc_basics_array_generic_syntax.php:54: Argument 1 of Conformance\Tests\PhpdocBasicsArrayGenericSyntax\takesGenericStringArray expects array<array-key, string>, but list{1} provided [InvalidArgument]
phpdoc_basics_array_generic_syntax.php:55: Argument 1 of Conformance\Tests\PhpdocBasicsArrayGenericSyntax\takesIntegerStringMap expects array<int, string>, but array{one: 'one'} provided [InvalidArgument]
phpdoc_basics_array_generic_syntax.php:56: Argument 1 of Conformance\Tests\PhpdocBasicsArrayGenericSyntax\takesStringList expects list<string>, but list{1} provided [InvalidArgument]
  • Recognition: spelling resolved
  • Enforcement: 4/4 of the expected violations reported

Source

<?php

declare(strict_types=1);

namespace Conformance\Tests\PhpdocBasicsArrayGenericSyntax;

/**
 * Array element and list syntax in PHPDoc.
 *
 * `string[]`, `array<string>`, `array<int, string>`, and `list<string>` are
 * the everyday spellings. `arrays_list_element_type` already asks whether a
 * `list<int>` rejects strings; this file asks whether each syntax is resolved
 * at all.
 *
 * References:
 * - PHPStan array types
 * - Psalm array types
 */

/**
 * @param string[] $values
 */
function takesStringArray(array $values): void // T: string[]
{
}

/**
 * @param array<string> $values
 */
function takesGenericStringArray(array $values): void // T: array<string>
{
}

/**
 * @param array<int, string> $values
 */
function takesIntegerStringMap(array $values): void // T: array<int, string>
{
}

/**
 * @param list<string> $values
 */
function takesStringList(array $values): void // T: list<string>
{
}

takesStringArray(['one', 'two']); // V
takesGenericStringArray(['one', 'two']); // V
takesIntegerStringMap([1 => 'one', 2 => 'two']); // V
takesStringList(['one', 'two']); // V

takesStringArray([1]); // E?: an array of integers is not an array of strings
takesGenericStringArray([1]); // E?: the generic array value type is string
takesIntegerStringMap(['one' => 'one']); // E?: the generic array key type is int
takesStringList([1]); // E?: a list of integers is not a list of strings