gcc/testsuite/gnat.dg/slice2.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O" }
   3
   4 package body Slice2 is
   5
   6   function F (I : R1) return R2 is
   7     Val : R2;
   8   begin
   9     Val.Text (1 .. 8) := I.Text (1 .. 8);
  10     return Val;
  11   end F;
  12
  13 end Slice2;