phpstan-src/tests/PHPStan/Rules/Arrays/data/bug-13773.php at da0f51464a2c62e9cc765285080624f1b0e640e3 · phpstan-bot/phpstan-src · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
<?php declare(strict_types = 1);

namespace Bug13773;

/** @return array<int, string> */
function getArray(): array {
	return [100 => "hey"];
}

function testNonListArray(): void
{
	$array = getArray();
	for ($i = 0; $i < count($array); $i++) {
		$a = $array[$i];
	}
}

/** @param list<string> $list */
function testList(array $list): void
{
	for ($i = 0; $i < count($list); $i++) {
		$a = $list[$i];
	}
}

/** @param list<string> $list */
function testListReversed(array $list): void
{
	for ($i = 0; count($list) > $i; ++$i) {
		$a = $list[$i];
	}
}

/** @param array<int, string> $array */
function testNonListReversed(array $array): void
{
	for ($i = 0; count($array) > $i; ++$i) {
		$a = $array[$i];
	}
}