gcc/testsuite/gnat.dg/array27_pkg.adb

package body Array27_Pkg is

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

end Array27_Pkg;