3 with Unchecked_Conversion;
5 type R1 is record X : Integer; end record;
6 type R2 is record X, Y : Integer; end record;
8 (Off, "types for unchecked conversion have different sizes");
9 function F is new Unchecked_Conversion (R1, R2);
11 (On, "types for unchecked conversion have different sizes");