CURLOPT_COOKIEFILE should accept the empty string

[jlherren]

Bug report

The curl option CURLOPT_COOKIEFILE is allowed to be empty, but PHPStan complains that non-empty-string must be supplied. The documentation says:

CURLOPT_COOKIEFILE: The name of the file containing the cookie data. The cookie file can be in Netscape format, or just plain HTTP-style headers dumped into a file. If the name is an empty string, no cookies are loaded, but cookie handling is still enabled.

Code snippet that reproduces the problem

function example(): void {
    $curl = curl_init();
    curl_setopt($curl, CURLOPT_COOKIEFILE, '');
}

https://phpstan.org/r/65119d59-c9ef-43ff-9ecd-93860ce82f51

Expected output

No errors.

[ondrejmirtes]

This is the original PR: phpstan/phpstan-src#1719

This is fix for a similar problem that was done in the past: phpstan/phpstan-src#1782

Feel free to contribute yours :) Thanks.

[ondrejmirtes]

Fixed by phpstan/phpstan-src#1836

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