gcc/testsuite/gnat.dg/inline13.ads

with Inline13_Pkg;

package Inline13 is

  type Arr is array (Positive range <>) of Inline13_Pkg.T;

  function F (L : Arr) return String;

end Inline13;