psalm
psalm copied to clipboard
vimeo
Psalm don't keep callable type in union types after condition
I found these snippets:
https://psalm.dev/r/393eb25a8a
<?php
/**
* @psalm-param array|callable():array $var
*/
function text(mixed $var): array
{
if (is_array($var)) {
return $var;
}
/** @psalm-trace $var */
return call_user_func($var);
}
Psalm output (using commit 16b24bd):
INFO: MixedReturnStatement - 14:12 - Could not infer a return type
INFO: Trace - 14:5 - $var: callable-object|callable-string
![psalm-github-bot[bot] avatar](https://avatars.githubusercontent.com/in/48546?v=4 "Published by a pub.dev verified publisher"){kind=small}
I found these snippets:
https://psalm.dev/r/0f016891bd
<?php
/**
* @psalm-param array|Clsoure():array $var
*/
function text(mixed $var): array
{
if (is_array($var)) {
return $var;
}
/** @psalm-trace $var */
return $var();
}
Psalm output (using commit be92afa):
ERROR: InvalidDocblock - 4:17 - Parenthesis must be preceded by “Closure”, “callable”, "pure-callable" or a valid @method name in docblock for text
INFO: MixedFunctionCall - 14:12 - Cannot call function on mixed
INFO: MixedReturnStatement - 14:12 - Could not infer a return type
INFO: Trace - 14:5 - $var: mixed
