-- { dg-do compile }
package body Discr53 is
function F return Rec is
Data : Rec;
begin
return Data;
end;
type Ptr is access Rec;
procedure Proc is
Local : Ptr;
Local := new Rec'(F);
end Discr53;