gcc/testsuite/gnat.dg/predicate13.ads

   1 --  { dg-do compile }
   2 generic
   3 package Predicate13 is
   4
   5     function Valid return Boolean is
   6     (True);
   7
   8     function Foo return Boolean is
   9     (True);
  10
  11     type State_Type is (Valid, Invalid);
  12     type Context_Type is private;
  13
  14     private
  15
  16     type Context_Type is
  17     record
  18     State : State_Type;
  19     end record  with Dynamic_Predicate => (State = Valid);
  20
  21     procedure Dummy;
  22
  23 end Predicate13;