Assignment compatibility with assignment statements

The value of the expression on the right-hand side of an assignment statement shall be assignment compatible with the type of the left-hand side.

For example given:

   var age : 0..100;


   age := v;

then v (the right-hand side of the assignment statement) shall be assignment compatible with 0..100 (the type of the left-hand side of the assignment statement).