Psalm静态检查报MixedAssignment错误：无法确定$view类型的解决咨询

我有以下代码，希望通过Psalm静态检查：

if (
    empty($sessions[$token]->product)
    || !is_object($sessions[$token]->product)
) {
     continue;
}

if (
    empty($sessions[$token]->product->view_list)
    || !is_array($sessions[$token]->product->view_list)
) {
    continue;
}

foreach ($sessions[$token]->product->view_list as $view) {
    if (!($view instanceof stdClass) || empty($view->color_list) || !is_array($view->color_list)) {
        continue;
    }
    // ...后续逻辑
}

但收到如下错误：

ERROR: MixedAssignment
at ...
Unable to determine the type that $view is being assigned to
                foreach ($sessions[$token]->product->view_list as $view) {

我已在foreach内通过判断确保$view的类型（数据来自外部API），但Psalm仍不认可。尝试添加类型注解/** @var stdClass $view */，既不合理也无效。补充说明：若使用类型提示，phpstan会要求使用assert，但我不想用assert，因为它会中断流程，希望用continue跳过而非中断。

Psalm报错的核心是无法确定$sessions[$token]->product->view_list数组的元素类型——即便你在foreach内部做了类型过滤，Psalm在遍历阶段仍无法推断$view的初始类型。你需要给这个数组明确标注元素类型，具体有两种可行方案：

方案一：在数组确认后添加Psalm专属类型注解 #

在通过is_array验证view_list是数组之后，添加@psalm-var注解明确数组元素为stdClass|null（覆盖可能存在的非标准元素）：

if (
    empty($sessions[$token]->product->view_list)
    || !is_array($sessions[$token]->product->view_list)
) {
    continue;
}

/** @psalm-var list<stdClass|null> $sessions[$token]->product->view_list */
foreach ($sessions[$token]->product->view_list as $view) {
    if (!($view instanceof stdClass) || empty($view->color_list) || !is_array($view->color_list)) {
        continue;
    }
    // ...后续逻辑
}

这里用list<>表示索引数组，stdClass|null涵盖了数组中可能存在的不符合类型的元素，Psalm会识别到后续的continue会过滤掉无效项，从而认可后续逻辑中$view的类型。

方案二：给自定义类的属性添加类型注解 #

如果$sessions[$token]->product是自定义类的实例，直接在类的view_list属性上标注类型：

class Product {
    /** @var list<stdClass|null> */
    public $view_list;
}

这种方式能让Psalm全局识别该属性的元素类型，无需在业务代码中重复标注。

另外，你之前尝试的/** @var stdClass $view */无效，是因为Psalm在遍历前已经认定$view是混合类型，单独标注变量无法覆盖数组元素的类型推断，必须先明确数组本身的元素类型。

内容的提问来源于stack exchange，提问作者Alex