[JS IR] Add infra to test compilation with error

- add bunch of tests
 - fix help test

compiler/testData/cli/js/jsExtraHelp.out

@@ -3,6 +3,7 @@ where advanced options include:
   -Xdisable-fake-override-validator
                              Disable IR fake override validator
   -Xenable-js-scripting      Enable experimental support of .kts files using K/JS (with -Xir only)
+  -Xerror-tolerance-policy   Set up error tolerance policy (NONE, SEMANTIC, SYNTAX, ALL)
   -Xfriend-modules=<path>    Paths to friend modules
   -Xfriend-modules-disabled  Disable internal declaration export
   -Xgenerate-dts             Generate TypeScript declarations .d.ts file alongside JS file. Available in IR backend only.

compiler/testData/codegen/boxError/semantic/castToErrorType.kt

@@ -0,0 +1,16 @@
+// ERROR_POLICY: SEMANTIC
+
+// FILE: t.kt
+
+fun foo(o: Any): Any = o as ErrType
+
+// FILE: b.kt
+
+fun box(): String {
+    try {
+        foo(Any())
+    } catch (e: IllegalStateException) {
+        return "OK"
+    }
+    return "fail"
+}

compiler/testData/codegen/boxError/semantic/catchErrorType.kt

@@ -0,0 +1,24 @@
+// ERROR_POLICY: SEMANTIC
+
+// FILE: t.kt
+
+fun bar() { throw Exception("..") }
+
+fun foo(): String {
+    try {
+        bar()
+    } catch (e: ErrType) {
+        throw Expception(e)
+    }
+}
+
+// FILE: b.kt
+
+fun box(): String {
+    try {
+        foo()
+    } catch (e: IllegalStateException) {
+        return "OK"
+    }
+    return "fail"
+}

compiler/testData/codegen/boxError/semantic/evaluationOrder.kt

@@ -0,0 +1,31 @@
+// ERROR_POLICY: SEMANTIC
+
+// FILE: t.kt
+
+
+fun bar(aa: Any, bb: Any, cc: Any) {
+}
+
+fun foo() {
+    qux(a(), b(), c())
+    beer()
+    f()
+}
+
+fun a(): Any { storage += "a"; return storage }
+fun b(): Any { storage += "b"; return storage }
+fun c(): Any { storage += "c"; return storage }
+fun f(): Any { storage += "FAIL"; return storage }
+
+var storage = ""
+
+// FILE: b.kt
+
+fun box(): String {
+    try {
+        foo()
+    } catch (e: IllegalStateException) {
+        return if (storage == "abc") "OK" else "FAIL ABC"
+        return "FAIL"
+    }
+}

compiler/testData/codegen/boxError/semantic/mismatchTypeParameters.kt

@@ -0,0 +1,19 @@
+// ERROR_POLICY: SEMANTIC
+
+// FILE: t.kt
+
+fun bar<T>(a: T): T = a
+
+var storage = ""
+
+fun foo() {
+    storage += bar("O")
+    storage += bar<Any, String, Number>("K")
+}
+
+// FILE: b.kt
+
+fun box(): String {
+    foo()
+    return storage
+}

compiler/testData/codegen/boxError/semantic/missedBody.kt

@@ -0,0 +1,17 @@
+// ERROR_POLICY: SEMANTIC
+
+// FILE: t.kt
+
+fun bar(a: String, b: String): String
+
+fun foo(): String {
+    return bar("O", "K")
+}
+
+// FILE: b.kt
+
+fun box(): String {
+    val r = foo()
+    if (r is String) return r
+    return "OK"
+}

compiler/testData/codegen/boxError/semantic/reifiedNonInline.kt

@@ -0,0 +1,23 @@
+// ERROR_POLICY: SEMANTIC
+
+// FILE: t.kt
+
+fun <reified T> bar(t: T) = t
+
+fun <reified T> qux() = T::class
+
+fun foo(): String {
+    return bar<String>("OK")
+}
+
+fun dec() { qux() }
+
+// FILE: b.kt
+
+fun box(): String {
+    try {
+        dec()
+    } catch (e: Throwable /*js ReferenceError*/) {
+        return foo()
+    }
+}

compiler/testData/codegen/boxError/semantic/typeMismatch.kt

@@ -0,0 +1,22 @@
+// ERROR_POLICY: SEMANTIC
+
+// FILE: t.kt
+
+class A
+class B
+
+fun bar(): B = B()
+fun foo(): A {
+    return bar()
+}
+
+// FILE: b.kt
+
+fun box(): String {
+    try {
+        foo()
+    } catch (e: ClassCastException) {
+        return "OK"
+    }
+    return "FAIL"
+}

compiler/testData/codegen/boxError/semantic/unmatchedArguments.kt

@@ -0,0 +1,31 @@
+// ERROR_POLICY: SEMANTIC
+
+// FILE: t.kt
+
+var storage = ""
+
+fun bar(a: String, b: String) { storage += a; storage += b; }
+
+fun foo1() {
+    bar("O", "K")
+    bar("FAIL1")
+}
+
+fun foo2() {
+    bar("FAIL2", "FAIL2", "FAIL2", "FAIL2")
+}
+
+// FILE: b.kt
+
+fun box(): String {
+    try {
+        foo1()
+    } catch (e: IllegalStateException) {
+        try {
+            foo2()
+        } catch (e: IllegalStateException) {
+            return storage
+        }
+    }
+    return "FAIL"
+}

compiler/testData/codegen/boxError/semantic/unresolvedFunctionReferece.kt

@@ -0,0 +1,17 @@
+// ERROR_POLICY: SEMANTIC
+
+// FILE: t.kt
+
+
+fun foo() { bar() }
+
+// FILE: b.kt
+
+fun box(): String {
+    try {
+        foo()
+    } catch (e: IllegalStateException) {
+        return "OK"
+    }
+    return "FAIL"
+}

compiler/testData/codegen/boxError/syntax/arrowReference.kt

@@ -0,0 +1,16 @@
+// ERROR_POLICY: SYNTAX
+
+// FILE: t.kt
+
+fun foo() { this->bar() }
+
+// FILE: b.kt
+
+fun box(): String {
+    try {
+        foo()
+    } catch (e: IllegalStateException) {
+        return "OK"
+    }
+    return "FAIL"
+}

compiler/testData/codegen/boxError/syntax/evaluationOrder.kt

@@ -0,0 +1,33 @@
+// ERROR_POLICY: SYNTAX
+
+// FILE: t.kt
+
+
+fun bar(aa: Any, bb: Any, cc: Any) {
+    <<;;;;;
+    d8as9d89as
+    ??????? ====----
+}
+
+fun foo() {
+    bar(a(), b(), c())
+    <<<<<,,,,>>>>>
+    f()
+}
+
+fun a(): Any { storage += "a"; return storage }
+fun b(): Any { storage += "b"; return storage }
+fun c(): Any { storage += "c"; return storage }
+fun f(): Any { storage += "FAIL"; return storage }
+
+var storage = ""
+
+// FILE: b.kt
+
+fun box(): String {
+    try {
+        foo()
+    } catch (e: IllegalStateException) {
+        return if (storage == "abc") "OK" else "FAIL ABC"
+    return "FAIL"
+}

compiler/testData/codegen/boxError/syntax/incorectLexicalName.kt

@@ -0,0 +1,38 @@
+// ERROR_POLICY: SYNTAX
+
+// FILE: t.kt
+
+
+384jfjfj2934829...:::%:ББББ
+
+fun 124gga() {}
+
+val 481gu: Boolean = true
+
+var 981llj): Int = 42
+
+// just check if it is compiled
+class **jhghssk
+
+fun foo() { 124gga() }
+fun bar() { return 481gu }
+fun qux() { 981llj) = 481 }
+
+// FILE: b.kt
+
+fun box(): String {
+    try {
+        foo()
+    } catch (e: IllegalStateException) {
+        try {
+            bar()
+        } catch (e: IllegalStateException) {
+            try {
+                qux()
+            } catch (e: IllegalStateException) {
+                return "OK"
+            }
+        }
+    }
+    return "FAIL"
+}

compiler/testData/codegen/boxError/syntax/missedArgument.kt

@@ -0,0 +1,20 @@
+// ERROR_POLICY: SYNTAX
+
+// FILE: t.kt
+
+1sdasf
+
+fun bar() {}
+
+fun foo() { bar(,,,,,,,) }
+
+// FILE: b.kt
+
+fun box(): String {
+    try {
+        foo()
+    } catch (e: IllegalStateException) {
+        return "OK"
+    }
+    return "FAIL"
+}

compiler/testData/ir/irText/errors/unresolvedReference.txt

@@ -2,7 +2,7 @@ FILE fqName:<root> fileName:/unresolvedReference.kt
   PROPERTY name:test1 visibility:public modality:FINAL [val]
     FIELD PROPERTY_BACKING_FIELD name:test1 type:IrErrorType visibility:private [final,static]
       EXPRESSION_BODY
-        ERROR_CALL '' type=IrErrorType
+        ERROR_CALL 'unresolved' type=IrErrorType
     FUN DEFAULT_PROPERTY_ACCESSOR name:<get-test1> visibility:public modality:FINAL <> () returnType:IrErrorType
       correspondingProperty: PROPERTY name:test1 visibility:public modality:FINAL [val]
       BLOCK_BODY
@@ -11,7 +11,7 @@ FILE fqName:<root> fileName:/unresolvedReference.kt
   PROPERTY name:test2 visibility:public modality:FINAL [val]
     FIELD PROPERTY_BACKING_FIELD name:test2 type:IrErrorType visibility:private [final,static]
       EXPRESSION_BODY
-        ERROR_CALL '' type=IrErrorType
+        ERROR_CALL 'unresolved()' type=IrErrorType
     FUN DEFAULT_PROPERTY_ACCESSOR name:<get-test2> visibility:public modality:FINAL <> () returnType:IrErrorType
       correspondingProperty: PROPERTY name:test2 visibility:public modality:FINAL [val]
       BLOCK_BODY
@@ -20,7 +20,7 @@ FILE fqName:<root> fileName:/unresolvedReference.kt
   PROPERTY name:test3 visibility:public modality:FINAL [val]
     FIELD PROPERTY_BACKING_FIELD name:test3 type:IrErrorType visibility:private [final,static]
       EXPRESSION_BODY
-        ERROR_CALL '' type=IrErrorType
+        ERROR_CALL 'unresolved(56)' type=IrErrorType
           receiver: CONST Int type=kotlin.Int value=42
           CONST Int type=kotlin.Int value=56
     FUN DEFAULT_PROPERTY_ACCESSOR name:<get-test3> visibility:public modality:FINAL <> () returnType:IrErrorType
@@ -31,7 +31,7 @@ FILE fqName:<root> fileName:/unresolvedReference.kt
   PROPERTY name:test4 visibility:public modality:FINAL [val]
     FIELD PROPERTY_BACKING_FIELD name:test4 type:IrErrorType visibility:private [final,static]
       EXPRESSION_BODY
-        ERROR_EXPR '' type=IrErrorType
+        ERROR_EXPR '42 *' type=IrErrorType
     FUN DEFAULT_PROPERTY_ACCESSOR name:<get-test4> visibility:public modality:FINAL <> () returnType:IrErrorType
       correspondingProperty: PROPERTY name:test4 visibility:public modality:FINAL [val]
       BLOCK_BODY