gcc/testsuite/gnat.dg/specs/aggr3.ads

   1 -- { dg-do compile }
   2
   3 with Aggr3_Pkg; use Aggr3_Pkg;
   4
   5 package 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
  18 end Aggr3;