gcc-4.9/gcc/testsuite/gnat.dg/discr11.adb


1
2
3
4
5
6
7
8
9

-- { dg-do compile }

package body Discr11 is
   function Create return DT_2 is
   begin
      return DT_2'(DT_1'(Create) with More => 1234);
   end;
end Discr11;