5.2.1 Assignment for object references

For a variable object reference:

R: ref T

R may be assigned a new reference by means of an assignment statement:

R := exp

where exp is a reference expression that when evaluated returns a reference, which is the assigned to R.

The reference returned by exp must be of type T.

Examples