phpstan-src/tests/PHPStan/Rules/Operators/data/bug-10349.php at ef871e925521171e13f6e1f07d1f2837a8b31542 · phpstan/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
67
68
<?php

namespace Bug10349;

class Foo
{
	/**
	 * @param int $ptr
	 * @param array<int, array<string, scalar>> $expected
	 *
	 * @return array<int, array<string, scalar>>
	 */
	private function issue_1_A($ptr, $expected)
	{
		foreach ($expected as $key => $param) {
			if ($param['number-1'] !== false) {
				$expected[$key]['number-1'] += $ptr;
			}

			if ($param['number-2'] !== false) {
				$expected[$key]['number-2'] += $ptr;
			}
		}

		return $expected;
	}

	/**
	 * @param int $ptr
	 * @param array<int, array<string, scalar>> $expected
	 *
	 * @return array<int, array<string, scalar>>
	 */
	private function issue_1_B($ptr, $expected)
	{
		foreach ($expected as $key => $param) {
			if (is_int($expected[$key]['number-1'])) {
				$expected[$key]['number-1'] += $ptr;
			}

			if ($param['number-2'] !== false) {
				$expected[$key]['number-2'] += $ptr;
			}
		}

		return $expected;
	}

	/**
	 * @param int $ptr
	 * @param array<int, array<string, scalar>> $expected
	 *
	 * @return array<int, array<string, scalar>>
	 */
	private function issue_2($ptr, $expected)
	{
		foreach ($expected as $key => $param) {
			if (is_int($param['number-1'])) {
				$expected[$key]['number-1'] += $ptr;
			}
			if (is_int($param['number-2'])) {
				$expected[$key]['number-2'] += $ptr;
			}
		}

		return $expected;
	}
}