1-- { dg-do compile }
2-- { dg-options "-O" }
3
4package body Discr41 is
5
6   function F return Rec is
7      Ret : Rec (0);
8   begin
9      return Ret;
10   end;
11
12end Discr41;
13