`array_product()` can be documented as variadic `AND`

[Ocramius]

I just realized that array_product([true, false, true, false]) (called with array<bool>) is amazing to find out whether all values in an array are true :D

Possibly a bit evil, but I wonder if it's something too ugly too expose, or worth documenting here:

https://github.com/vimeo/psalm/blob/64dc2ff74762ace75156b324e73c0e9e1dee7b17/stubs/CoreGenericFunctions.phpstub#L817-L829

• When the input is array<true>, the output is 1
• When the input is array<false>, the output is 0
• When the input is array<bool>, the output is 0|1

[psalm-github-bot[bot]]

Hey @Ocramius, can you reproduce the issue on https://psalm.dev ?

[orklah]

eh, if it works well with stubs, I have no issues with that, it's not like stubs are actually read by users

[Ocramius]

I use them as main docs when touching pho code 😁