fn trace_logical_types_incompatible( left_datatype: ColumnDataType, left_concrete_type: &ConcreteDataType, right_datatype: ColumnDataType, right_concrete_type: &ConcreteDataType, ) -> bool