phpstan-src/tests/PHPStan/Analyser/nsrt/array-slice.php at a70db9e1b8b650a685a890593d38491363f52964 · 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
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
<?php

namespace ArraySlice;

use function PHPStan\Testing\assertType;

class Foo
{

	/**
	 * @param non-empty-array $a
	 * @param non-empty-list $b
	 * @param non-empty-array<int>|non-empty-list<string> $c
	 */
	public function nonEmpty(array $a, array $b, array $c): void
	{
		assertType('array', array_slice($a, 1));
		assertType('list', array_slice($b, 1));
		assertType('array<int>|list<string>', array_slice($c, 1));
	}

	/**
	 * @param mixed $arr
	 */
	public function fromMixed($arr): void
	{
		assertType('array<mixed, mixed>', array_slice($arr, 1, 2));
	}

	public function normalArrays(array $arr): void
	{
		/** @var array<int, bool> $arr */
		assertType('list<bool>', array_slice($arr, 1, 2));
		assertType('array<int, bool>', array_slice($arr, 1, 2, true));

		/** @var array<string, int> $arr */
		assertType('array<string, int>', array_slice($arr, 1, 2));
		assertType('array<string, int>', array_slice($arr, 1, 2, true));

		/** @var non-empty-array<string> $arr */
		assertType('array{}', array_slice($arr, 0, 0));
		assertType('array{}', array_slice($arr, 0, 0, true));

		/** @var non-empty-array<string> $arr */
		assertType('array<string>', array_slice($arr, 0, 1));
		assertType('array<string>', array_slice($arr, 0, 1, true));

		/** @var list<string> $arr */
		assertType('list<string>', array_slice($arr, 0, 1));
		assertType('list<string>', array_slice($arr, 0, 1, true));

		/** @var non-empty-list<string> $arr */
		assertType('non-empty-list<string>', array_slice($arr, 0, 1));
		assertType('non-empty-list<string>', array_slice($arr, 0, 1, true));
	}

	public function constantArrays(array $arr): void
	{
		/** @var array{17: 'foo', b: 'bar', 19: 'baz'} $arr */
		assertType('array{b: \'bar\', 0: \'baz\'}', array_slice($arr, 1, 2));
		assertType('array{b: \'bar\', 19: \'baz\'}', array_slice($arr, 1, 2, true));
		assertType('array<17|19|\'b\', \'bar\'|\'baz\'|\'foo\'>', array_slice($arr, rand(0, 1) ? 0 : 1, rand(0, 1) ? 0 : 1));

		/** @var array{17: 'foo', 19: 'bar', 21: 'baz'}|array{foo: 17, bar: 19, baz: 21} $arr */
		assertType('array{\'bar\', \'baz\'}|array{bar: 19, baz: 21}', array_slice($arr, 1, 2));
		assertType('array{19: \'bar\', 21: \'baz\'}|array{bar: 19, baz: 21}', array_slice($arr, 1, 2, true));

		/** @var array{17: 'foo', b: 'bar', 19: 'baz'} $arr */
		assertType('array{}', array_slice($arr, -1, -1));
		assertType('array{}', array_slice($arr, -1, -1, true));

		/** @var array{17: 'foo', b: 'bar', 19: 'baz'} $arr */
		assertType('array{}', array_slice($arr, -1, -2));
		assertType('array{}', array_slice($arr, -1, -2, true));
	}

	public function constantArraysWithOptionalKeys(array $arr): void
	{
		/** @var array{a?: 0, b: 1, c: 2} $arr */
		assertType('array{a?: 0, b?: 1}', array_slice($arr, 0, 1));
		assertType('array{a?: 0, b: 1, c: 2}', array_slice($arr, 0));
		assertType('array{a?: 0, b: 1, c: 2}', array_slice($arr, -99));
		assertType('array{a?: 0, b: 1, c: 2}', array_slice($arr, 0, 99));
		assertType('array{a?: 0}', array_slice($arr, 0, -2));
		assertType('array{}', array_slice($arr, 0, -3));
		assertType('array{}', array_slice($arr, 0, -99));
		assertType('array{}', array_slice($arr, -99, -99));
		assertType('array{}', array_slice($arr, 99));

		/** @var array{a?: 0, b?: 1, c: 2, d: 3, e: 4} $arr */
		assertType('array{c?: 2, d?: 3, e?: 4}', array_slice($arr, 2, 1));
		assertType('array{b?: 1, c?: 2, d: 3, e?: 4}', array_slice($arr, 1, 3));
		assertType('array{e: 4}', array_slice($arr, -1));
		assertType('array{d: 3}', array_slice($arr, -2, 1));

		/** @var array{a: 0, b: 1, c: 2, d?: 3, e?: 4} $arr */
		assertType('array{c: 2}', array_slice($arr, 2, 1));
		assertType('array{c?: 2, d?: 3, e?: 4}', array_slice($arr, -1));
		assertType('array{b?: 1, c?: 2, d?: 3}', array_slice($arr, -2, 1));
		assertType('array{a: 0, b: 1, c?: 2, d?: 3}', array_slice($arr, 0, -1));
		assertType('array{a: 0, b?: 1, c?: 2}', array_slice($arr, 0, -2));

		/** @var array{a: 0, b?: 1, c: 2, d?: 3, e: 4} $arr */
		assertType('array{b?: 1, c: 2, d?: 3, e?: 4}', array_slice($arr, 1, 2));
		assertType('array{a: 0, b?: 1, c?: 2}', array_slice($arr, 0, 2));
		assertType('array{a: 0}', array_slice($arr, 0, 1));
		assertType('array{b?: 1, c?: 2}', array_slice($arr, 1, 1));
		assertType('array{c?: 2, d?: 3, e?: 4}', array_slice($arr, 2, 1));
		assertType('array{a: 0, b?: 1, c: 2, d?: 3}', array_slice($arr, 0, -1));
		assertType('array{c?: 2, d?: 3, e: 4}', array_slice($arr, -2));

		/** @var array{a: 0, b?: 1, c: 2} $arr */
		assertType('array{a: 0, b?: 1}', array_slice($arr, 0, -1));
		assertType('array{a: 0}', array_slice($arr, -3, 1));
	}


	public function offsets(array $arr): void
	{
		if (array_key_exists(1, $arr)) {
			assertType('non-empty-array', array_slice($arr, 1, null, false));
			assertType('non-empty-array&hasOffset(1)', array_slice($arr, 1, null, true));
		}
		if (array_key_exists(1, $arr) && $arr[1] === 'foo') {
			assertType('non-empty-array', array_slice($arr, 1, null, false));
			assertType("non-empty-array&hasOffsetValue(1, 'foo')", array_slice($arr, 1, null, true));
		}
	}

}