Closed momala454 closed 3 months ago
Describe the bug See code
To Reproduce
function hello(string|int $a): void { } /** @param array<string|int|null> $b */ function world(array $b): void { $x = $b['a']; if ($x !== null) { hello($b['a']); } }
Expected behavior $x and $b['a'] are the same. In the code, it tells that i'm calling hello with a string|int|null, but it cannot be null
$b['a']
hello
Platform and version 1.11.0 pre release
sorry that was phpstan ...
Describe the bug See code
To Reproduce
Expected behavior $x and
$b['a']
are the same. In the code, it tells that i'm callinghello
with a string|int|null, but it cannot be nullPlatform and version 1.11.0 pre release