Assignment Compatibility (9.1)

A type T1 is said to be assignment compatible to a type T2 iff one of the following conditions holds:

• T1 and T2 are compatible to each other.
• T1 and T2 are identical to CARDINAL, INTEGER, LONGCARD, LONGINT, or subranges thereof.
• T1 and T2 are identical to REAL or LONGREAL.
• T1 is of type SYSTEM.ADDRESS and T2 a pointer type (or vice versa).