2 -- { dg-options "-gnatws" }
4 procedure Derived_Type2 is
8 type Parent (B : Boolean := True) is record
10 when True => S : String (1 .. 5);
11 when False => F : Float;
15 function Create (X : Parent) return Parent;
21 function Create (X : Parent) return Parent is
23 return (True, "12345");
30 type T is new Parent (True);
36 if Create (X).B /= True then