Use local variable type inference for stack