phpstan-src/tests/PHPStan/Analyser/nsrt/bug-10264.php at 2c7e290493147fb97360c73fb94d6a4304393371 · 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
<?php

namespace Bug10264;

use function PHPStan\Testing\assertType;
use stdClass;

class A
{
	function doFoo() {
		/** @var list<A> $list */
		$list = [];

		assertType('list<Bug10264\A>', $list);

		assert((count($list) <= 1) === true);
		assertType('list<Bug10264\A>', $list);
	}

	function doFoo2() {
		/** @var list<A> $list */
		$list = [];

		assertType('list<Bug10264\A>', $list);

		assert((count($list, COUNT_NORMAL) <= 1) === true);
		assertType('list<Bug10264\A>', $list);
	}

	/** @param list<int> $c */
	public function sayHello(array $c): void
	{
		assertType('list<int>', $c);
		if (count($c) > 0) {
			$c = array_map(fn() => new stdClass(), $c);
			assertType('non-empty-list<stdClass>&hasOffsetValue(0, stdClass)', $c);
		} else {
			assertType('array{}', $c);
		}

		assertType('list<stdClass>', $c);
	}

	function doBar() {
		/** @var list<A> $list */
		$list = [];

		assertType('list<Bug10264\A>', $list);

		assert((count($list, COUNT_RECURSIVE) <= 1) === true);
		assertType('list<Bug10264\A>', $list);
	}

	function doIf():void {
		/** @var list<A> $list */
		$list = [];

		assertType('list<Bug10264\A>', $list);

		if( count($list, COUNT_RECURSIVE) >= 1) {
			assertType('non-empty-list<Bug10264\A>', $list);
		} else {
			assertType('array{}', $list);
		}
	}

	function countModeInt(int $i):void {
		/** @var list<A> $list */
		$list = [];

		assertType('list<Bug10264\A>', $list);

		if( count($list, $i) >= 1) {
			assertType('non-empty-list<Bug10264\A>', $list);
		} else {
			assertType('array{}', $list);
		}
	}

}