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