local variable type inference