-1

我有这个代码:

$latest_PG_notice = pg_last_notice($database_connection);

if ($latest_PG_notice && is_string($latest_PG_notice))
    trigger_error('"' . $latest_PG_notice . '"'); // This line is wrong according to PHPStan.

PHPStan 报错:

二元运算“.” 在 '"' 和 non-empty-array|non-empty-string|true 之间会导致错误。

我不明白为什么会这样:我知道pg_last_notice如果设置了其他条件,它也可以返回布尔值或数组,但我有一个is_string检查,所以 PHPStan 应该知道这是一个字符串。

4

0 回答 0