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:

psalm/stubs/CoreGenericFunctions.phpstub

Lines 817 to 829 in 64dc2ff

	/**
	* @param array $array
	*
	* @return (
	* $array is array<int>
	* ? int
	* : ($array is array<float>
	* ? float
	* : float|int
	* )
	* )
	*/
	function array_product(array $array) {}

• 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]

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 😁