function f1<Const1,Const2,Const3>:(Const1{@Const1 in f1@},Const2,Const3);
begin
end;
begin
end.