v: fix generic lambda type binding and resolution

[felipensp]

Fix #19426

[spytheman]

Excellent work.

Will the same approach work for generic functions, calling other generic functions, with a LambdaExpr ?

Try adding such an example in the test case too, with |x,y| x + y, where x and y are in one call 2 ints, and in another call, 2 strings .

[JalonSolov]

Perhaps a 3rd case where one is an int and the other a string, for a known error case?

[felipensp]

Excellent work.

Will the same approach work for generic functions, calling other generic functions, with a LambdaExpr ?

Try adding such an example in the test case too, with |x,y| x + y, where x and y are in one call 2 ints, and in another call, 2 strings .

Yeah, Just tested:

fn ddd[T](call fn (arg1 T, arg2 T) string, arg1 T, arg2 T) string {
	return call(arg1, arg2)
}

fn abc[T](arg1 T, arg2 T) string {
	return ddd(|x,y| (x+y).str(), arg1, arg2)
}

fn main() {
	abc('3', '3')
	abc(3, 3)	
	abc(3.1, 3.1)	
}

It needs more work to make it possible... I'll check it.

[felipensp]

Excellent work.
Will the same approach work for generic functions, calling other generic functions, with a LambdaExpr ?
Try adding such an example in the test case too, with |x,y| x + y, where x and y are in one call 2 ints, and in another call, 2 strings .

Yeah, Just tested:

fn ddd[T](call fn (arg1 T, arg2 T) string, arg1 T, arg2 T) string {
	return call(arg1, arg2)
}

fn abc[T](arg1 T, arg2 T) string {
	return ddd(|x,y| (x+y).str(), arg1, arg2)
}

fn main() {
	abc('3', '3')
	abc(3, 3)	
	abc(3.1, 3.1)	
}

It needs more work to make it possible... I'll check it.

I've handled this case. Have you any other test case? @spytheman

[spytheman]

I could not think of any other @felipensp .

Excellent work.