gcc/testsuite/gnat.dg/array28_pkg.adb

package body Array28_Pkg is

  function F return Inner_Type is
  begin
    return "12345";
  end;

end Array28_Pkg;