nodeTypeResolver = $nodeTypeResolver; } public function resolve(Assign $assign) : Type { $exprType = $this->nodeTypeResolver->getType($assign->expr); if ($exprType instanceof UnionType) { return $exprType; } return $this->nodeTypeResolver->getType($assign->var); } }