5 type Object (Valid : Boolean := False) is record
7 when True => Stamp : Natural;
12 function Dummy_Object (Should_Be_There : Boolean) Return Object is
14 if not Should_Be_There then
17 return Object'(Valid => False);
20 procedure Check (Create_Dummy : Boolean) is
23 B := Create_Dummy and then Dummy_Object (Create_Dummy).Valid;
27 Check (Create_Dummy => False);
28 Check (Create_Dummy => True);