gcc/testsuite/gnat.dg/class_wide3_pkg.ads

   1 package Class_Wide3_Pkg is
   2
   3    type Iface is interface;
   4    type Iface_Ptr is access all Iface'Class;
   5
   6    procedure Put_Line (I : Iface'Class);
   7
   8    type Root is tagged record
   9       I : Integer;
  10    end record;
  11
  12    type Disc_Child (N : Integer) is new Root and Iface with record
  13       J : Integer;
  14    end record;
  15
  16 end Class_Wide3_Pkg;