我有这个代码:
$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 应该知道这是一个字符串。