Fix handling of ErrorType in CommonType()

1 files changed, 6 insertions, 0 deletions

diff --git a/ydb/library/yql/core/yql_expr_type_annotation.cpp b/ydb/library/yql/core/yql_expr_type_annotation.cpp
index 38a2b73a51..de7da96eeb 100644
--- a/ydb/library/yql/core/yql_expr_type_annotation.cpp
+++ b/ydb/library/yql/core/yql_expr_type_annotation.cpp
@@ -1630,6 +1630,10 @@ const TTypeAnnotationNode* CommonType(TPositionHandle pos, const TTypeAnnotation
     if (!(one && two))
         return nullptr;
 
+    if (HasError(one, ctx) || HasError(two, ctx)) {
+        return nullptr;
+    }
+
     if (IsSameAnnotation(*one, *two))
         return two;
 
@@ -1660,6 +1664,8 @@ const TTypeAnnotationNode* CommonType(TPositionHandle pos, const TTypeAnnotation
             default:
                 break;
         }
+
+        ctx.AddError(TIssue(ctx.GetPosition(pos), TStringBuilder() << "Cannot infer common type for " << kindOne));
     } else {
         if constexpr (!Strict) {
             if (ETypeAnnotationKind::Pg == kindOne) {