gcc/testsuite/gnat.dg/predicate7.ads

   1 with Predicate7_Pkg; use Predicate7_Pkg;
   2
   3 package Predicate7 is
   4    function Always_True (I : My_Int) return Boolean;
   5
   6    function Identity (I : My_Int ) return Integer with Pre => Always_True (I);
   7
   8    procedure Foo;
   9
  10 private
  11    function Identity (I : My_Int ) return Integer is (I);
  12    function Always_True (I : My_Int) return Boolean is (True);
  13 end;