A expressão à esquerda de := é processada e, em seguida, o resultado é armazenado em x, (à direita de :=).

A avaliação da expressão equivale à expressão matemática x = x + 1.

Retorna um erro devido à incoerência matemática da expressão.

Funciona como um comando condicional para verificar se x é igual a x+1.

O compilador substitui o x, à esquerda de :=, por outro identificador não duplicado.