如何解决此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