YAR and Type inference

Working on support Type Inference in YAR.
A sample:

mr:Myrecord;
a,b:integer;
d:double;

function GenericFunc < T, U , Z> (var a:T;b:U):Z;
begin
end;
..
begin
GenericFunc(a,a):=d; //I know this function result is not a lvalue.
//I relax the assign op type checking rules
//to test of infering of result type