gcc/testsuite/gnat.dg/warn10.ads

   1 with Warn10_Pkg; use Warn10_Pkg;
   2
   3 package Warn10 is
   4
   5    type My_Driver is new Root with record
   6       Extra : Natural;
   7    end record;
   8
   9    procedure Do_Something(Driver : My_Driver);
  10
  11 end Warn10;