gcc/testsuite/gnat.dg/access_discr.adb


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

-- { dg-do compile }

procedure access_discr is
   
   type One;
   
   type Iface is limited interface;
   type Base  is tagged limited null record;
   
   type Two_Alone (Parent : access One) is limited null record;
   type Two_Iface (Parent : access One) is limited new Iface with null record;
   type Two_Base (Parent : access One) is new Base with null record;
   
   type One is limited record
      TA : Two_Alone (One'Access);
      TI : Two_Iface (One'Access); --  OFFENDING LINE
      TB : Two_Base (One'Access);
   end record;

begin
   null;
end;