gcc/testsuite/gnat.dg/discr29.ads

   1 -- { dg-do compile }
   2
   3 package Discr29 is
   4
   5    type Rec1 is record
   6       I1 : Integer;
   7       I2 : Integer;
   8       I3 : Integer;
   9    end record;
  10
  11    type Rec2 is tagged record
  12       I1 : Integer;
  13       I2 : Integer;
  14    end record;
  15
  16    type Rec3 (D : Boolean) is record
  17       case D is
  18          when True =>  A : Rec1;
  19          when False => B : Rec2;
  20       end case;
  21    end record;
  22
  23    procedure Proc (R : out Rec3);
  24
  25    Tmp : Rec2;
  26
  27 end Discr29;