Fix callable-string must be non-empty-string

[aivchen]

Fixes phpstan/phpstan#12979

[ondrejmirtes]

Instead of this approach, please explore modifying IntersectionType::isNonEmptyString() based on $this->isString()->yes() and $this->isCallable()->yes(). Thanks.

[staabm]

might also be worth checking whether we have a similar problem with callable-array and non-empty-array

[aivchen]

Instead of this approach, please explore modifying IntersectionType::isNonEmptyString() based on $this->isString()->yes() and $this->isCallable()->yes(). Thanks.

@ondrejmirtes I tried to implement your suggestion. Have a look please.

[phpstan-bot]

This pull request has been marked as ready for review.

[aivchen]

might also be worth checking whether we have a similar problem with callable-array and non-empty-array

Let's do it in another issue, please. As I see the logic for arrays is completely different.

[ondrejmirtes]

Thank you!