1
2package body Nested_Subtype_Byref is
3
4   type Data (Stamped : Boolean) is record
5      case Stamped is
6         when True   => Valid : Boolean;
7         when others => null;
8      end case;
9   end record;
10
11   type Message is record
12      F : Integer := 1;
13      D : Data (Stamped => True);
14   end record;
15
16   procedure Check  is
17      M : Message;
18   begin
19      M.D.Valid := True;
20   end;
21
22end;
23
24