The assignment statement binds a value to a variable. The value is determined by evaluating the expression on the right side of the assignment operator :=. The result type of the expression must match the type of the variable. For variables of the reference types, the same value can be bound to more than one variable. See Reference types.