anonymous function parameter type inference for variadic parameters 
half of #1103