23 lines
559 B
Ada
23 lines
559 B
Ada
-- { 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;
|