Local variable type inference