summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/interface5.ads
blob: e1bd0bac2a86cfbabb287ecf800e360e7bbd960d (plain)
1
2
3
4
5
6
7
8
9
package interface5 is
   type B is tagged null record;
   
   type I is interface;
   function F (Object : I) return access I is abstract;
   
   type Child is new B and I with null record;
   function F (Object : Child) return access Child;
end interface5;