-
Notifications
You must be signed in to change notification settings - Fork 426
/
array-pop.php
53 lines (42 loc) · 1.27 KB
/
array-pop.php
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
<?php declare(strict_types = 1);
namespace ArrayPop;
use function PHPStan\Testing\assertType;
class Foo
{
public function nonEmpty(array $arr): void
{
/** @var non-empty-array<string> $arr */
assertType('string', array_pop($arr));
assertType('array<string>', $arr);
}
public function normalArrays(array $arr): void
{
/** @var array<int, string> $arr */
assertType('string|null', array_pop($arr));
assertType('array<int, string>', $arr);
}
public function compoundTypes(array $arr): void
{
/** @var string[]|int[] $arr */
assertType('int|string|null', array_pop($arr));
assertType('array<int|string>', $arr);
}
public function constantArrays(array $arr): void
{
/** @var array{a: 0, b: 1, c: 2} $arr */
assertType('2', array_pop($arr));
assertType('array{a: 0, b: 1}', $arr);
}
public function constantArraysWithOptionalKeys(array $arr): void
{
/** @var array{a?: 0, b: 1, c: 2} $arr */
assertType('0|2', array_pop($arr)); // should be 2
assertType('array{a?: 0, b: 1}', $arr);
/** @var array{a: 0, b?: 1, c: 2} $arr */
assertType('1|2', array_pop($arr)); // should be 2
assertType('array{a: 0, b?: 1}', $arr);
/** @var array{a: 0, b: 1, c?: 2} $arr */
assertType('1|2', array_pop($arr));
assertType('array{a: 0, b: 1}', $arr);
}
}