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;
and
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).