1-- { dg-do compile }
2
3package body Discr28 is
4
5   procedure Dummy (E : Rec) is
6   begin
7     null;
8   end;
9
10   function F return Rec is
11   begin
12      return Default_Rec;
13   end;
14
15   procedure Proc1 is
16   begin
17      Dummy (F);
18   end;
19
20   procedure Proc2 is
21   begin
22      Dummy (F);
23   end;
24
25end Discr28;
26