gcc/testsuite/gnat.dg/slice2.ads

   1 package Slice2 is
   2
   3   type R1 is record
   4     Text : String (1 .. 30);
   5   end record;
   6
   7   type R2 is record
   8     Text : String (1 .. 8);
   9     B : Boolean := True;
  10   end record;
  11
  12   function F (I : R1) return R2;
  13
  14 end Slice2;