Make array_map understand union of callables.

[mad-briller]

Fixes phpstan/phpstan#10442

[phpstan-bot]

You've opened the pull request against the latest branch 1.11.x. If your code is relevant on 1.10.x and you want it to be released sooner, please rebase your pull request and change its target to 1.10.x.

[ondrejmirtes]

Awesome! This fixes a bunch of issues (https://github.com/phpstan/phpstan-src/actions/runs/7974759948):

• array shapes are not taken into account to exclude incorrect combinations for false positives phpstan#6633
• Callable parameter types aren't correctly inferred phpstan#3818
• Looping through functions doesn't detect correct types phpstan#9594
• Array with anonymous functions flagged unnecessarily phpstan#9614
• Type from multiple Closures is not unioned phpstan#10283

Please add regression tests for them - I think type inference tests in NodeScopeResolverTest should be fine. Please put the new files in dataFileAsserts in random places and not at the end, it makes the merge conflict to be less probable :)

[mad-briller]

@ondrejmirtes i've investigated the those issues and found that phpstan/phpstan#3818 appears to be an issue regarding the application of @var phpdocs, and is not fixed by this. However there is an additional try link provided in that issue that is resolved so i've added that as a regression test but this change doesn't close the issue.

however all the others are solved by this change! 🎉 you love to see it

[ondrejmirtes]

Awesome, thank you very much!