Как решить эту ошибку TypeDoesNotContainType?

Question

Это мой код:

$sftp = ssh2_sftp($connection);
if ($sftp === false) {

Это ошибка псалма:

ERROR: TypeDoesNotContainType - src/MyFile.php:159:13 - resource does not contain false
        if ($sftp === false) {

..но руководство по PHP говорит ssh2_sftp может вернуть ложь:

Этот метод возвращает SFTP-ресурс SSH2 для использования со всеми другими методами ssh2_sftp_*() и оболочкой ssh2.sftp:// fopen или FALSE в случае сбоя.

Что мне здесь не хватает или чего я не понимаю?

Answer 1

Это ошибка, вам нужно сообщить об этом разработчикам Psalm здесь: https://github.com/vimeo/psalm/issues