1--  { dg-do compile }
2--  { dg-options "-gnatc" }
3
4generic
5   type T_Item is private;
6function genericppc (T : in t_Item; I : integer) return integer;
7pragma Precondition (I > 0);
8