field_order.ads

   1 -- RUN: %llvmgcc -c %s
   2 package Field_Order is
   3    type Tagged_Type is abstract tagged null record;
   4    type With_Discriminant (L : Positive) is new Tagged_Type with record
   5       S : String (1 .. L);
   6    end record;
   7 end;