1-- { dg-do compile }
2
3with Aggr3_Pkg; use Aggr3_Pkg;
4
5package Aggr3 is
6
7   type Enum is (One);
8
9   type R (D : Enum := One) is
10   record
11      case D is
12        when One => The_T : T;
13      end case;
14   end record;
15
16   My_R : R := (D => One, The_T => My_T);
17
18end Aggr3;
19