Assignment between two non-
data objects in which the source field contains a valid value, the
conversion is lossless, and the target field contains a valid value after the assignment. The
EXACT of the obsolete statement
can be used to check whether an assignment is lossless.