gcc/testsuite/gnat.dg/type_conv2.ads

   1 package Type_Conv2 is
   2
   3    type Root is abstract tagged limited null record;
   4
   5    type Der_I is new Root with record
   6       X : Integer;
   7    end record;
   8
   9    function Wrap (X : Integer) return Root'Class;
  10
  11    procedure Proc_Static;
  12
  13 end Type_Conv2;