We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent a8766f1 commit 60d0fc3Copy full SHA for 60d0fc3
1 file changed
tests/PHPStan/Analyser/nsrt/bug-13674b.php
@@ -11,17 +11,17 @@ class HelloWorld
11
* @param array<int> $arrayA
12
* @param list<int> $listA
13
*/
14
- public function sayHello($arrayA, $listA, int $i): void
+ public function sayHello(array $arrayA, array $listA, int $i): void
15
{
16
if (isset($arrayA[$i])) {
17
- assertType('array<int>', $arrayA);
+ assertType('non-empty-array<int>', $arrayA);
18
} else {
19
assertType('array<int>', $arrayA);
20
}
21
22
23
if (isset($listA[$i])) {
24
- assertType('list<int>', $listA);
+ assertType('non-empty-list<int>', $listA);
25
26
assertType('list<int>', $listA);
27
@@ -31,7 +31,7 @@ public function sayHello($arrayA, $listA, int $i): void
31
32
return;
33
34
35
36
$emptyArray = [];
37
assertType('false', isset($emptyArray[$i]));
0 commit comments