An assignment of T1 := T2; would be legal because the subtypes they are defined to are identical.
Μία ανάθεση σαν την T1 := T2; θα ήταν νόμιμη επειδή οι υποτύποι που συμπεριλαμβάνονται σε αυτή είναι πανομοιότυποι.