phpstan-src/tests/PHPStan/Rules/Comparison/data/bug-14469.php at 54baab07f1a4f0be6dd645a3b3a644dc20e25ada · 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
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
<?php declare(strict_types = 1);

namespace Bug14469;

function t(array $R, bool $var1, object $user, bool $is): array {
	$aa = null;

	if ($var1) {
		$aa = $user->id  === 10 ? 2 : null;
	} elseif ($R['aa']) {
		$aa = $R['aa'];
	}

	if ($aa) {
		if (!$R['aa']) {
			return [];
		}
	}
	return $R;
}

function t2(array $R, bool $var1, object $user): array {
	$aa = null;

	if ($var1) {
		$aa = $user->id  === 10 ? 2 : null;
	} elseif ($R['aa']) {
		$aa = $R['aa'];
	}

	if ($aa) {
		if ($R['aa'] === false) {
			return [];
		}
	}
	return $R;
}

function t3(array $R, bool $var1, int $other): array {
	$aa = null;

	if ($var1) {
		$aa = $other;
	} elseif ($R['bb']) {
		$aa = $R['bb'];
	}

	if ($aa) {
		if (!$R['bb']) {
			return [];
		}
	}
	return $R;
}

function t4(array $R, bool $var1, object $user): string {
	$aa = null;

	if ($var1) {
		$aa = $user->id  === 10 ? 2 : null;
	} elseif ($R['aa']) {
		$aa = $R['aa'];
	}

	return $aa ? ($R['aa'] ? 'yes' : 'no') : 'none';
}