1 -- RUN: %llvmgcc -S %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; 8