GQL项目中算术表达式类型推断的缺陷与修复

在GQL项目的表达式类型系统中，开发人员发现了一个关于算术表达式类型推断的重要缺陷。该问题涉及表达式类型检查逻辑中的变量引用错误，导致在混合整数和浮点数运算时无法正确推断结果类型。

问题的核心在于ArithmeticExpression结构体的expr_type方法实现。该方法原本设计用于根据左右操作数的类型推断算术表达式的结果类型，但在实现时错误地两次引用了左操作数(left)，而忽略了右操作数(right)的类型检查。

具体表现为：当表达式包含整数和浮点数混合运算时，如1+1.0，类型推断系统本应返回浮点类型(DataType::Float)，但由于实现错误，实际上只检查了两个左操作数的类型。这种错误会导致系统在应该进行浮点运算的情况下错误地返回整数类型，进而可能引发后续计算中的精度丢失或类型不匹配问题。

正确的实现应该分别检查左操作数(left)和右操作数(right)的类型。当任一操作数为浮点类型时，整个表达式的结果类型应为浮点类型；仅当两个操作数都是整数类型时，结果才保持为整数类型。

这个缺陷的修复对于保证GQL项目中表达式计算的类型安全性至关重要。特别是在处理混合类型运算时，正确的类型推断能够确保：

1. 数值运算不会意外丢失精度
2. 类型系统能够正确反映运算结果的实际情况
3. 后续的类型检查和转换能够基于准确的信息进行

该修复已包含在GQL项目的0.12.0版本中，开发者在使用算术表达式时应确保更新到此版本或更高版本，以获得正确的类型推断行为。