summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/discr11.adb
blob: ceec4cefb477511762c5ac23219bc5e180fb03c9 (plain)
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;