blob: 494a8890b050088338c1ca8dcdf45113d0541393 [file] [log] [blame]
-- { dg-do compile }
-- { dg-options "-gnatc" }
generic
type T_Item is private;
function genericppc (T : in t_Item; I : integer) return integer;
pragma Precondition (I > 0);