gcc-4.9/gcc/testsuite/gnat.dg/limited_with3_pkg3.ads


1
2
3
4
5
6
7
8
9
10
11
12

with Limited_With3;
with Limited_With3_Pkg1;

package Limited_With3_Pkg3 is

    package My_Q is new Limited_With3_Pkg1 (Limited_With3.T);

    type TT is tagged record
       State : My_Q.Element_Access;
    end record;

end Limited_With3_Pkg3;