phpstan-src/tests/PHPStan/Rules/Arrays/data/bug-14566.php at d54f3666f750829a4edec178400550f094293c37 · 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
41
42
43
44
45
46
<?php declare(strict_types = 1);

namespace Bug14566;

/**
 * @param array{}|array{hi: 'hello'}|array{hi: array{0: 42, 1?: 42}} $test
 */
function foo(array $test): void {
	if (isset($test['hi']) && is_string($test['hi'])) {
		return;
	}
	$test['hi'][] = 42;
}

/**
 * @param array{}|array{hi: 'hello'}|array{hi: array{0: 42, 1?: 42}} $test
 */
function foo2(array $test): void {
	if (\is_string($test['hi'] ?? null)) {
		return;
	}
	$test['hi'][] = 42;
}

/**
 * @param array{}|array{hi: 'hello'}|array{hi: array{0: 42, 1?: 42}} $test
 */
function foo3(array $test): void {
	if (!isset($test['hi'])) {
		return;
	}
	if (\is_string($test['hi'])) {
		return;
	}
	$test['hi'][] = 42;
}

/**
 * @param array{}|array{hi: 'hello'}|array{hi: array{0: 42, 1?: 42}} $test
 */
function foo4(array $test): void {
	if (!\is_array($test['hi'] ?? null)) {
		return;
	}
	$test['hi'][] = 42;
}