testsuite/gnat.dg/static_pred1.ads

generic
   type T is private;
package Static_Pred1 is
   procedure Dummy (Value : T);
end Static_Pred1;