gcc/testsuite/gnat.dg/discr18.adb

   1 -- { dg-do compile }
   2
   3 with Discr18_Pkg; use Discr18_Pkg;
   4
   5 procedure Discr18 is
   6
   7   String_10 : String (1..10) := "1234567890";
   8
   9   MD : Multiple_Discriminants (A => 10, B => 10) :=
  10          Multiple_Discriminants'(A  => 10,
  11                                  B  => 10,
  12                                  S1 => String_10,
  13                                  S2 => String_10);
  14   MDE : Multiple_Discriminant_Extension (C => 10) :=
  15           (MD with C  => 10, S3 => String_10);
  16
  17 begin
  18   Do_Something(MDE);
  19 end;