-- { dg-do compile }

with Discr34_Pkg; use Discr34_Pkg;

procedure Discr34 is
   Object : Rec := F;
begin
   null;
end;