Support string callables via array_filter

[herndlm]

Feature request

array_filter is already understanding complex closures or arrow functions via ArrayFilterFunctionReturnTypeReturnTypeExtension but interestingly it can't deal with more simple string-callables like is_string. Would be great if it could understand that as well.

It looks like TypeSpecifyingFunctionsDynamicReturnTypeExtension is dealing with the narrowing-down of those simple type specifying functions and therefore maybe somehow related.

See https://phpstan.org/r/33b86b4b-41ae-4953-b062-80d11a74ffb2

Did PHPStan help you today? Did it make you happy in any way?

Yes for sure. And I was impressed that it can narrow down arrays to lists via $a === array_values($a) :)

[staabm]

Maybe we could just rewite the ast of the string-arg example to the closure one seen on the 2nd example?

[herndlm]

Maybe we could just rewite the ast of the string-arg example to the closure one seen on the 2nd example?

Had the same idea already as well. Maybe it is the simplest implementation :) I'll check it out later

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.