gcc/testsuite/gnat.dg/sizetype3_pkg.ads

package Sizetype3_Pkg is

   type List is array (Integer range <>) of Integer;

   function F return List;

end Sizetype3_Pkg;