gcc/testsuite/gnat.dg/discr29.adb

-- { dg-do compile }

package body Discr29 is

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

end Discr29;