1--  { dg-do compile }
2
3with Implicit_Param_Pkg;
4
5procedure Implicit_Param is
6    subtype Tiny is Integer range 1 .. 5;
7    V : Tiny := 4;
8
9    function Func62 return Implicit_Param_Pkg.Lim_Rec is
10    begin
11       return
12         (case V is
13           when 1 .. 3 => Implicit_Param_Pkg.Func_Lim_Rec,
14           when 4 .. 5 => raise Program_Error);
15    end Func62;
16
17begin
18    null;
19end Implicit_Param;
20