We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Test case:
<?php /** * @template K * @template V * @param iterable<K,V> $collection * @return V * @psalm-suppress InvalidReturnType */ function first($collection) {} $one = first([1,2,3]); strlen($one);
https://getpsalm.org/r/124a8a4417
Expected: $one is int Actual: $one is mixed If $collection is documented as iterable<K,V>|array<K,V> result type is inferred properly.
$one
int
$collection
iterable<K,V>|array<K,V>
The text was updated successfully, but these errors were encountered:
bed1f15
No branches or pull requests
Test case:
https://getpsalm.org/r/124a8a4417
Expected:
$one
isint
Actual:
$one
is mixedIf
$collection
is documented asiterable<K,V>|array<K,V>
result type is inferred properly.The text was updated successfully, but these errors were encountered: