-- { dg-do compile }

package body Discr29 is

   procedure Proc (R : out Rec3) is
   begin
      R := (False, Tmp);
   end;

end Discr29;