blob: cee84ddb2f2cd59e39a1dcf0b27cc7e557833d52 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
-- { dg-do compile }
-- { dg-options "-gnatwa" }
procedure Warn16 is
package Define is
type Key_Type is record
Value : Integer := 0;
end record;
function "=" (Left : in Key_Type;
Right : in Key_Type)
return Boolean;
end;
package body Define is
function "=" (Left : in Key_Type;
Right : in Key_Type)
return Boolean is
begin
return Left.Value = Right.Value;
end;
end;
generic
type Key_Type is private;
with function "=" (Left : in Key_Type;
Right : in Key_Type)
return Boolean;
package Oper is end;
use type Define.Key_Type; -- !!!
package Inst is new Oper (Key_Type => Define.Key_Type,
"=" => "=");
pragma Unreferenced (Inst);
begin
null;
end;
|
