gcc/testsuite/gnat.dg/opt46.ads


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

package Opt46 is

   type Session_Type is limited private;

   procedure Close (Session : Session_Type);

private

   type Session_Data;
   type Session_Data_Access is access Session_Data;

   type Session_Type is record
      Data : Session_Data_Access;
   end record;

end Opt46;