1-- { dg-do compile }
2
3package body Discr11 is
4   function Create return DT_2 is
5   begin
6      return DT_2'(DT_1'(Create) with More => 1234);
7   end;
8end Discr11;
9
10