blob: b232aa36da266852515ef1f88e1ae533d04cbd29 [file] [log] [blame]
package body Nested_Subtype_Byref is
type Data (Stamped : Boolean) is record
case Stamped is
when True => Valid : Boolean;
when others => null;
end case;
end record;
type Message is record
F : Integer := 1;
D : Data (Stamped => True);
end record;
procedure Check is
M : Message;
begin
M.D.Valid := True;
end;
end;