-- { dg-do compile }
package body Discr29 is
procedure Proc (R : out Rec3) is
begin
R := (False, Tmp);
end;
end Discr29;