CURLOPT_HTTPHEADER should not accept a dictionary

[johnbillion]

Bug report

The curl_setopt() additions in phpstan/phpstan-src#1719 are very useful, thanks (cc @staabm). Coincidentally just last week I fixed a bug where headers were being sent to curl as a dictionary instead of a list, which is incorrect.

curl_setopt($curl, CURLOPT_HTTPHEADER, $headers) should only allow a numerically indexed array as the third parameter.

Code snippet that reproduces the problem

https://phpstan.org/r/fc00207b-efa7-4d83-adc0-01d874035272

Expected output

Line 8 in the code snippet should produce an error stating that only a list is accepted.

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

I can no longer write PHP without PHPStan.

[mergeable]

This bug report is missing a link to reproduction at phpstan.org/try.

It will most likely be closed after manual review.

[ondrejmirtes]

Fixed: phpstan/phpstan-src#2369

[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.