gcc/testsuite/gnat.dg/opt56.ads

package Opt56 is

   type Vector is array (Positive range <>) of Float;

   function F (Values : Vector) return Boolean;

end Opt56;