Phan\Analysis\AssignmentVisitor::visitVar PHP Method

    public function visitVar(Node $node) : Context
    {
        $variable_name = (new ContextNode($this->code_base, $this->context, $node))->getVariableName();
        // Check to see if the variable already exists
        if ($this->context->getScope()->hasVariableWithName($variable_name)) {
            $variable = $this->context->getScope()->getVariableByName($variable_name);
            // If we're assigning to an array element then we don't
            // know what the constitutation of the parameter is
            // outside of the scope of this assignment, so we add to
            // its union type rather than replace it.
            if ($this->is_dim_assignment) {
                $variable->getUnionType()->addUnionType($this->right_type);
            } else {
                // If the variable isn't a pass-by-reference paramter
                // we clone it so as to not disturb its previous types
                // as we replace it.
                if ($variable instanceof Parameter) {
                    if ($variable->isPassByReference()) {
                    } else {
                        $variable = clone $variable;
                    }
                } else {
                    $variable = clone $variable;
                }
                $variable->setUnionType($this->right_type);
            }
            $this->context->addScopeVariable($variable);
            return $this->context;
        }
        $variable = Variable::fromNodeInContext($this->assignment_node, $this->context, $this->code_base, false);
        // Set that type on the variable
        $variable->getUnionType()->addUnionType($this->right_type);
        // Note that we're not creating a new scope, just
        // adding variables to the existing scope
        $this->context->addScopeVariable($variable);
        return $this->context;
    }