compiler: give error for non-int arguments to make

[official-gcc.git] / gcc / testsuite / gnat.dg / inline13_pkg.ads

package Inline13_Pkg is

  subtype Padded_T is String (1..8);

  type T is new Padded_T;

  function Padded (Value : T) return Padded_T;
  pragma Inline_Always (Padded);

end Inline13_Pkg;