Inferred result of array_pad() could be narrowed #12305
Labels
Comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
{{ message }}
Feature request
It would be nice, if the inferred type of
was
list<string>instead of justarray.Code snippet:
https://phpstan.org/r/4ea29c2e-2200-4b09-bd7f-ee631736f6fc
Even more general the following could be inferred:
array_pad(list<TypeA>, int, <TypeB>) => list<TypeA|TypeB>array_pad(array<TypeA>, int, <TypeB>) => array<array-key, TypeA|TypeB>array_pad(non-empty-list<TypeA>, int<1, max>, <TypeB>) => non-empty-list<TypeA|TypeB>array_pad(non-empty-array<TypeA>, int<1, max>, <TypeB>) => non-empty-array<array-key, TypeA|TypeB>array_pad(list<TypeA>, int<1, max>, <TypeB>) => non-empty-list<TypeA|TypeB>array_pad(array<TypeA>, int<1, max>, <TypeB>) => non-empty-array<array-key, TypeA|TypeB>Did PHPStan help you today? Did it make you happy in any way?
No response
The text was updated successfully, but these errors were encountered: