Skip to content

Commit fa26a87

Browse files
committed
Update bug-14081.php
1 parent 8f812fe commit fa26a87

File tree

1 file changed

+13
-0
lines changed

1 file changed

+13
-0
lines changed

tests/PHPStan/Analyser/nsrt/bug-14081.php

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -30,6 +30,19 @@ function last(array $array): mixed
3030
return null;
3131
}
3232

33+
function maybeNonEmpty(): void
34+
{
35+
if (rand(0,1)) {
36+
$array = ['one', 'two'];
37+
} else {
38+
$array = [];
39+
}
40+
assertType("array{}|array{'one', 'two'}", $array);
41+
$key = array_key_last($array);
42+
assertType('0|1|null', $key);
43+
assertType("'one'|'two'", $array[$key]);
44+
}
45+
3346
/** @param list<string> $array */
3447
function firstNotNull(array $array): mixed
3548
{

0 commit comments

Comments
 (0)