gcc/testsuite/gnat.dg/lto15.ads

   1 package Lto15 is
   2
   3    type Arr is array (Positive range <>) of Integer;
   4
   5    type R(Size : Positive) is record
   6       Data : Arr (1 .. Size);
   7    end record;
   8
   9    function Proc (Data : Arr) return R;
  10
  11 end Lto15;