2 -- { dg-options "-gnatws" }
8 type Rec (D : Enum := Enum'First) is record
10 when A => X : Integer;
15 pragma Volatile (Rec);
17 type Config_T (D : Enum := Enum'First) is record
22 C : constant Config_T := (D => A, N => 1, R => (D => A, X => 0));
24 type Arr is array (Natural range 1 .. C.N) of Boolean;