xref: /dports/lang/gcc11/gcc-11.2.0/gcc/testsuite/gnat.dg/opt17.ads

package Opt17 is

  subtype S is String (1 .. 5);

  function Func return S;

end Opt17;