ubuntu-buildroot/output/build/host-gcc-initial-11.4.0/gcc/testsuite/gnat.dg/warn10.ads

with Warn10_Pkg; use Warn10_Pkg;

package Warn10 is

   type My_Driver is new Root with record
      Extra : Natural;
   end record;

   procedure Do_Something(Driver : My_Driver);

end Warn10;