gcc/testsuite/gnat.dg/opt17.ads

package Opt17 is

  subtype S is String (1 .. 5);

  function Func return S;

end Opt17;