1 package Non_LValue is 2 type T (Length : Natural) is record 3 A : String (1 .. Length); 4 B : String (1 .. Length); 5 end record; 6 type T_Ptr is access all T; 7 type U is record 8 X : T_Ptr; 9 end record; 10 function A (Y : U) return String; 11 end; 12
