branch-4.0: [fix](array) fix arr funcs with ret which BE should eginore precision because of deduce that the FE planner cannot infer #57018 (#57299)

Cherry-picked from #57018

Co-authored-by: amory <[email protected]>

Author: github-actions[bot]

be/src/vec/functions/array/function_array_binary.h

@@ -43,7 +43,7 @@ class FunctionArrayBinary : public IFunction {
                 assert_cast<const DataTypeArray&>(*(arguments[0])).get_nested_type());
         auto right_nested_type = remove_nullable(
                 assert_cast<const DataTypeArray&>(*(arguments[1])).get_nested_type());
-        DCHECK(left_nested_type->equals(*right_nested_type))
+        DCHECK(left_nested_type->equals_ignore_precision(*right_nested_type))
                 << "data type " << arguments[0]->get_name() << " not equal with "
                 << arguments[1]->get_name();
         return Impl::get_return_type(arguments);

be/src/vec/functions/array/function_array_contains_all.cpp

@@ -53,7 +53,7 @@ class FunctionArrayContainsAll : public IFunction {
                 assert_cast<const DataTypeArray&>(*left_data_type).get_nested_type());
         auto right_nested_type = remove_nullable(
                 assert_cast<const DataTypeArray&>(*right_data_type).get_nested_type());
-        DCHECK(left_nested_type->equals(*right_nested_type))
+        DCHECK(left_nested_type->equals_ignore_precision(*right_nested_type))
                 << "data type " << arguments[0]->get_name() << " not equal with "
                 << arguments[1]->get_name();
         return std::make_shared<DataTypeUInt8>();

be/src/vec/functions/array/function_arrays_overlap.h

@@ -151,7 +151,7 @@ class FunctionArraysOverlap : public IFunction {
                 assert_cast<const DataTypeArray&>(*left_data_type).get_nested_type());
         auto right_nested_type = remove_nullable(
                 assert_cast<const DataTypeArray&>(*right_data_type).get_nested_type());
-        DCHECK(left_nested_type->equals(*right_nested_type))
+        DCHECK(left_nested_type->equals_ignore_precision(*right_nested_type))
                 << "data type " << arguments[0]->get_name() << " not equal with "
                 << arguments[1]->get_name();
         return make_nullable(std::make_shared<DataTypeUInt8>());