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