psalm-php - 如何解决这个 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可以返回false：

此方法返回一个 SSH2 SFTP 资源，用于与所有其他 ssh2_sftp_*() 方法和 ssh2.sftp:// fopen 包装器一起使用，失败时返回 FALSE。

我在这里错过了什么，或者我不明白什么？

Answer 1

这是一个错误，您需要在此处向 Psalm 开发人员报告：https ://github.com/vimeo/psalm/issues