// #2172
procedure p1(p: ()->());
begin
Assert(1=1)
end;
procedure p1(p: byte->());
Assert(1=2)
p1(procedure-> exit());
end.