inference when incomplete
testdata to expression lambda
calculate target type in the same way for statement/expressions lambdas