1--  { dg-do compile }
2generic
3package 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
23end Predicate13;
24