UnusedFunctionCall false positive on mail standard extension about psalm HOT 3 CLOSED

I found these snippets:

<?php

mail('[email protected]', 'subject line', 'message');

Psalm output (using commit 08afc45):

ERROR: UnusedFunctionCall - 3:1 - The call to mail is not used

from psalm.

How do you know if the function worked if you don't check?

if (!mail('[email protected]', 'subject line', 'message')) {
    throw new \Exception('mail() failed.');
}

But anyways, you can fix this problem by submitting a PR which adds mail to the impure function list in dictionaries/ImpureFunctionsList.php.

from psalm.

Not saying one shouldn't check for it, only that the way it is documented in the PHP manual examples don't check for it, so it shouldn't return an UnusedFunctionCall. PR submitted.

from psalm.