validate logical execution before lineage (#8755)

Author: vitstn

ydb/library/yql/core/facade/yql_facade.cpp

@@ -808,6 +808,7 @@ TProgram::TFutureStatus TProgram::LineageAsync(const TString& username, IOutputS
         .AddTypeAnnotation()
         .AddPostTypeAnnotation()
         .Add(TExprOutputTransformer::Sync(ExprRoot_, traceOut), "ExprOutput")
+        .AddCheckExecution(false)
         .AddLineageOptimization(LineageStr_)
         .Add(TExprOutputTransformer::Sync(ExprRoot_, exprOut, withTypes), "AstOutput")
         .Build();
@@ -1073,6 +1074,7 @@ TProgram::TFutureStatus TProgram::LineageAsyncWithConfig(
     pipeline.AddPostTypeAnnotation();
     pipelineConf.AfterTypeAnnotation(&pipeline);
 
+    pipeline.AddCheckExecution(false);
     pipeline.AddLineageOptimization(LineageStr_);
 
     Transformer_ = pipeline.Build();

ydb/library/yql/tests/sql/sql2yql/canondata/result.json

@@ -10569,6 +10569,13 @@
             "uri": "https://{canondata_backend}/1784117/d56ae82ad9d30397a41490647be1bd2124718f98/resource.tar.gz#test_sql2yql.test_limit-zero_limit_/sql.yql"
         }
     ],
+    "test_sql2yql.test[lineage-error_type]": [
+        {
+            "checksum": "09dc81028852fd592ae2ae96787107ab",
+            "size": 1628,
+            "uri": "https://{canondata_backend}/1784826/8212a6594777651314d94a2e2f95179c0016604c/resource.tar.gz#test_sql2yql.test_lineage-error_type_/sql.yql"
+        }
+    ],
     "test_sql2yql.test[lineage-flatten_list_nested_lambda]": [
         {
             "checksum": "1405a87aecd4676d7955fff219819b5f",
@@ -30155,6 +30162,13 @@
             "uri": "https://{canondata_backend}/1880306/64654158d6bfb1289c66c626a8162239289559d0/resource.tar.gz#test_sql_format.test_limit-zero_limit_/formatted.sql"
         }
     ],
+    "test_sql_format.test[lineage-error_type]": [
+        {
+            "checksum": "aa7268913aed17bf13095a2f03f475ee",
+            "size": 106,
+            "uri": "https://{canondata_backend}/1784826/8212a6594777651314d94a2e2f95179c0016604c/resource.tar.gz#test_sql_format.test_lineage-error_type_/formatted.sql"
+        }
+    ],
     "test_sql_format.test[lineage-flatten_list_nested_lambda]": [
         {
             "checksum": "3fdec3c3ffc5993a6088aa56eac4fcea",

ydb/library/yql/tests/sql/suites/lineage/error_type.cfg

@@ -0,0 +1,5 @@
+in Input input.txt
+out Output output.txt
+providers yt
+xfail
+

ydb/library/yql/tests/sql/suites/lineage/error_type.sql

@@ -0,0 +1,13 @@
+USE plato;
+
+INSERT INTO Output
+SELECT
+    1 as foo
+FROM Input
+
+UNION ALL
+
+SELECT
+    'x' as foo
+FROM Input
+

ydb/library/yql/tests/sql/yt_native_file/part0/canondata/result.json

@@ -1624,6 +1624,13 @@
             "uri": "https://{canondata_backend}/1600758/27e4f42b960f1f056b80a59edfceebd7f0dc0293/resource.tar.gz#test.test_limit-insert_with_limit--Results_/Output.yqlrun.txt.attr"
         }
     ],
+    "test.test[lineage-error_type--Debug]": [],
+    "test.test[lineage-error_type--Plan]": [],
+    "test.test[lineage-error_type--Results]": [
+        {
+            "uri": "file://test.test_lineage-error_type--Results_/extracted"
+        }
+    ],
     "test.test[lineage-select_field-default.txt-Debug]": [
         {
             "checksum": "f9af6961ea0708b2b1d85d5b7f2f42c2",

ydb/library/yql/tests/sql/yt_native_file/part0/canondata/test.test_lineage-error_type--Results_/extracted

@@ -0,0 +1,5 @@
+<tmp_path>/program.sql:<main>: Error: Optimization
+
+    <tmp_path>/program.sql:<main>:4:1: Error: Uncompatible member foo types: Int32 and String
+    	SELECT
+	^