[Spec tests] Add tests for comparison-expression

compiler/tests-spec/testData/diagnostics/linked/expressions/comparison-expressions/p-4/neg/1.1.kt

@@ -0,0 +1,86 @@
+// !LANGUAGE: +NewInference
+// !DIAGNOSTICS: -UNUSED_VARIABLE -ASSIGNED_BUT_NEVER_ACCESSED_VARIABLE -UNUSED_VALUE -UNUSED_PARAMETER -UNUSED_EXPRESSION
+// SKIP_TXT
+
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
+ *
+ * SPEC VERSION: 0.1-218
+ * PLACE: expressions, comparison-expressions -> paragraph 4 -> sentence 1
+ * NUMBER: 1
+ * DESCRIPTION: The compareTo operator function must have return type kotlin.Int
+ */
+
+// TESTCASE NUMBER: 1
+class Case1(val a: Int)  {
+    var isCompared = false
+    <!INAPPLICABLE_OPERATOR_MODIFIER!>operator<!> fun compareTo(other: Case1):Any = run{
+        TODO()
+    }
+}
+
+fun case1() {
+    val a3 = Case1(-1)
+    val a4 = Case1(-3)
+
+    val x0 = a3 <!COMPARE_TO_TYPE_MISMATCH!>><!> a4
+    val x1 = a3 <!COMPARE_TO_TYPE_MISMATCH!><<!> a4
+    val x2 = a3 <!COMPARE_TO_TYPE_MISMATCH!>>=<!> a4
+    val x3 = a3 <!COMPARE_TO_TYPE_MISMATCH!><=<!> a4
+}
+
+
+// TESTCASE NUMBER: 2
+class Case2(val a: Int) {
+    var isCompared = false
+    <!INAPPLICABLE_OPERATOR_MODIFIER!>operator<!> fun compareTo(other: Case2): Nothing = run {
+        TODO()
+    }
+}
+
+fun case2() {
+    val a3 = Case2(-1)
+    val a4 = Case2(-3)
+
+    val x0 = a3 <!COMPARE_TO_TYPE_MISMATCH!>><!> a4
+    val x1 = a3 <!COMPARE_TO_TYPE_MISMATCH!><<!> a4
+    val x2 = a3 <!COMPARE_TO_TYPE_MISMATCH!>>=<!> a4
+    val x3 = a3 <!COMPARE_TO_TYPE_MISMATCH!><=<!> a4
+}
+
+
+// TESTCASE NUMBER: 3
+class Case3(val a: Int) {
+    var isCompared = false
+    <!INAPPLICABLE_OPERATOR_MODIFIER!>operator<!> fun compareTo(other: Case3):Long = run{
+        TODO()
+    }
+}
+
+fun case3() {
+    val a3 = Case3(-1)
+    val a4 = Case3(-3)
+
+    val x0 = a3 <!COMPARE_TO_TYPE_MISMATCH!>><!> a4
+    val x1 = a3 <!COMPARE_TO_TYPE_MISMATCH!><<!> a4
+    val x2 = a3 <!COMPARE_TO_TYPE_MISMATCH!>>=<!> a4
+    val x3 = a3 <!COMPARE_TO_TYPE_MISMATCH!><=<!> a4
+}
+
+// TESTCASE NUMBER: 4
+class Case4(val a: Int) {
+    var isCompared = false
+    <!INAPPLICABLE_OPERATOR_MODIFIER!>operator<!> fun compareTo(other: Case4):Int? = run{
+        TODO()
+    }
+}
+
+fun case4() {
+    val a3 = Case4(-1)
+    val a4 = Case4(-3)
+
+    val x0 = a3 <!COMPARE_TO_TYPE_MISMATCH!>><!> a4
+    val x1 = a3 <!COMPARE_TO_TYPE_MISMATCH!><<!> a4
+    val x2 = a3 <!COMPARE_TO_TYPE_MISMATCH!>>=<!> a4
+    val x3 = a3 <!COMPARE_TO_TYPE_MISMATCH!><=<!> a4
+}

compiler/tests-spec/testData/diagnostics/linked/expressions/comparison-expressions/p-5/pos/1.1.kt

@@ -0,0 +1,61 @@
+// !LANGUAGE: +NewInference
+// !DIAGNOSTICS: -UNUSED_VARIABLE -ASSIGNED_BUT_NEVER_ACCESSED_VARIABLE -UNUSED_VALUE -UNUSED_PARAMETER -UNUSED_EXPRESSION
+// SKIP_TXT
+
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
+ *
+ * SPEC VERSION: 0.1-218
+ * PLACE: expressions, comparison-expressions -> paragraph 5 -> sentence 1
+ * NUMBER: 1
+ * DESCRIPTION: All comparison expressions always have type kotlin.Boolean.
+ * HELPERS: checkType
+ */
+
+class A(val a: Int)  {
+    var isCompared = false
+    operator fun compareTo(other: A): Int = run {
+        isCompared = true
+        this.a - other.a
+    }
+}
+
+// TESTCASE NUMBER: 1
+fun case1() {
+    val a1 = A(-1)
+    val a2 = A(-3)
+
+    val x = a1 < a2
+
+    x checkType { check<Boolean>() }
+}
+
+// TESTCASE NUMBER: 2
+fun case2() {
+    val a1 = A(-1)
+    val a2 = A(-3)
+
+    val x = a1 > a2
+
+    x checkType { check<Boolean>() }
+}
+
+// TESTCASE NUMBER: 3
+fun case3() {
+    val a1 = A(-1)
+    val a2 = A(-3)
+
+    val x = a1 <= a2
+
+    x checkType { check<Boolean>() }
+}
+
+// TESTCASE NUMBER: 4
+fun case4() {
+    val a1 = A(-1)
+    val a2 = A(-3)
+
+    val x = a1 >= a2
+
+    x checkType { check<Boolean>() }
+}

compiler/tests-spec/testData/diagnostics/linked/expressions/comparison-expressions/testsMap.json

@@ -0,0 +1,26 @@
+{
+  "4": {
+    "neg": {
+      "1": [
+        {
+          "specVersion": "0.1-218",
+          "casesNumber": 4,
+          "description": "The compareTo operator function must have return type kotlin.Int",
+          "unexpectedBehaviour": false
+        }
+      ]
+    }
+  },
+  "5": {
+    "pos": {
+      "1": [
+        {
+          "specVersion": "0.1-218",
+          "casesNumber": 4,
+          "description": "All comparison expressions always have type kotlin.Boolean.",
+          "unexpectedBehaviour": false
+        }
+      ]
+    }
+  }
+}