[Spec tests] Change metadata structure of implementation and spec tests

2020-04-01 19:14:46 +03:00
parent 80cd26c9df
commit d32aca87d1
925 changed files with 2330 additions and 1657 deletions
@@ -1,6 +1,8 @@
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-220, test type: pos):
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
- *  - expressions, call-and-property-access-expressions, callable-references -> paragraph 3 -> sentence 1
+ *
 * SPEC VERSION: 0.1-220
 * PRIMARY LINKS: expressions, call-and-property-access-expressions, callable-references -> paragraph 3 -> sentence 1
 */
 fun f1() = <!WRONG_NUMBER_OF_TYPE_ARGUMENTS!>Map<!>::hashCode
 fun f2() = <!WRONG_NUMBER_OF_TYPE_ARGUMENTS!>Map.Entry<!>::hashCode
@@ -1,8 +1,10 @@
 // !DIAGNOSTICS: -UNUSED_VARIABLE
 // !CHECK_TYPE
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-220, test type: pos):
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
- *  - expressions, call-and-property-access-expressions, callable-references -> paragraph 11 -> sentence 3
+ *
 * SPEC VERSION: 0.1-220
 * PRIMARY LINKS: expressions, call-and-property-access-expressions, callable-references -> paragraph 11 -> sentence 3
 */
 import kotlin.reflect.KFunction0
@@ -1,9 +1,11 @@
 // !LANGUAGE: +NewInference
 // !DIAGNOSTICS: -UNUSED_PARAMETER
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-220, test type: pos):
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
- *  - expressions, call-and-property-access-expressions, navigation-operators -> paragraph 9 -> sentence 2
+ *
- *  - expressions, call-and-property-access-expressions, navigation-operators -> paragraph 8 -> sentence 1
+ * SPEC VERSION: 0.1-220
 * PRIMARY LINKS: expressions, call-and-property-access-expressions, navigation-operators -> paragraph 9 -> sentence 2
 * expressions, call-and-property-access-expressions, navigation-operators -> paragraph 8 -> sentence 1
 */
 import kotlin.reflect.KProperty1
@@ -1,10 +1,12 @@
 // FIR_IDENTICAL
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-313, test type: pos):
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
- *  - expressions, when-expression -> paragraph 9 -> sentence 2
+ *
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ * SPEC VERSION: 0.1-313
- *  - expressions, when-expression -> paragraph 6 -> sentence 5
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 9 -> sentence 2
- *  - annotations, annotation-targets -> paragraph 1 -> sentence 1
+ * expressions, when-expression -> paragraph 5 -> sentence 1
 * expressions, when-expression -> paragraph 6 -> sentence 5
 * annotations, annotation-targets -> paragraph 1 -> sentence 1
 */
 fun foo(a: Int) {
    @ann
@@ -1,11 +1,13 @@
 // !WITH_NEW_INFERENCE
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-313, test type: neg):
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 1 -> sentence 1
+ *
- *  - expressions, when-expression -> paragraph 6 -> sentence 1
+ * SPEC VERSION: 0.1-313
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ * PRIMARY LINKS: expressions, when-expression, exhaustive-when-expressions -> paragraph 1 -> sentence 1
- *  - type-inference, smart-casts, smart-cast-types -> paragraph 9 -> sentence 1
+ * expressions, when-expression -> paragraph 6 -> sentence 1
- *  - type-inference, smart-casts, smart-cast-types -> paragraph 9 -> sentence 6
+ * expressions, when-expression -> paragraph 5 -> sentence 1
 * type-inference, smart-casts, smart-cast-types -> paragraph 9 -> sentence 1
 * type-inference, smart-casts, smart-cast-types -> paragraph 9 -> sentence 6
 */
 class A
@@ -1,11 +1,13 @@
 // !WITH_NEW_INFERENCE
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-313, test type: neg):
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 1 -> sentence 1
+ *
- *  - expressions, when-expression -> paragraph 6 -> sentence 1
+ * SPEC VERSION: 0.1-313
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ * PRIMARY LINKS: expressions, when-expression, exhaustive-when-expressions -> paragraph 1 -> sentence 1
- *  - type-inference, smart-casts, smart-cast-types -> paragraph 9 -> sentence 1
+ * expressions, when-expression -> paragraph 6 -> sentence 1
- *  - type-inference, smart-casts, smart-cast-types -> paragraph 9 -> sentence 8
+ * expressions, when-expression -> paragraph 5 -> sentence 1
 * type-inference, smart-casts, smart-cast-types -> paragraph 9 -> sentence 1
 * type-inference, smart-casts, smart-cast-types -> paragraph 9 -> sentence 8
 */
 class A
@@ -1,10 +1,12 @@
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-313, test type: pos):
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
+ *
- *  - expressions, when-expression -> paragraph 6 -> sentence 1
+ * SPEC VERSION: 0.1-313
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ * PRIMARY LINKS: expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
- *  - type-inference, smart-casts, smart-cast-types -> paragraph 9 -> sentence 1
+ * expressions, when-expression -> paragraph 6 -> sentence 1
- *  - type-inference, smart-casts, smart-cast-types -> paragraph 9 -> sentence 8
+ * expressions, when-expression -> paragraph 5 -> sentence 1
 * type-inference, smart-casts, smart-cast-types -> paragraph 9 -> sentence 1
 * type-inference, smart-casts, smart-cast-types -> paragraph 9 -> sentence 8
 */
 enum class My { A, B }
@@ -1,10 +1,12 @@
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-313, test type: pos):
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 1
+ *
- *  - expressions, when-expression -> paragraph 6 -> sentence 1
+ * SPEC VERSION: 0.1-313
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ * PRIMARY LINKS: expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 1
- *  - type-inference, smart-casts, smart-cast-types -> paragraph 9 -> sentence 1
+ * expressions, when-expression -> paragraph 6 -> sentence 1
- *  - type-inference, smart-casts, smart-cast-types -> paragraph 9 -> sentence 8
+ * expressions, when-expression -> paragraph 5 -> sentence 1
 * type-inference, smart-casts, smart-cast-types -> paragraph 9 -> sentence 1
 * type-inference, smart-casts, smart-cast-types -> paragraph 9 -> sentence 8
 */
 class A
@@ -1,7 +1,9 @@
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-313, test type: pos):
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
- *  - expressions, when-expression -> paragraph 2 -> sentence 1
+ *
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ * SPEC VERSION: 0.1-313
 * PRIMARY LINKS: expressions, when-expression -> paragraph 2 -> sentence 1
 * expressions, when-expression -> paragraph 5 -> sentence 1
 */
 fun foo(x: Int, y: Int): Int =
        when {
@@ -1,9 +1,11 @@
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-313, test type: pos):
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression -> paragraph 9 -> sentence 1
+ * SPEC VERSION: 0.1-313
- *  - expressions, when-expression -> paragraph 2 -> sentence 4
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
- *  - expressions, when-expression -> paragraph 2 -> sentence 5
+ * expressions, when-expression -> paragraph 9 -> sentence 1
 * expressions, when-expression -> paragraph 2 -> sentence 4
 * expressions, when-expression -> paragraph 2 -> sentence 5
 */
 package test
@@ -1,9 +1,11 @@
 // KT-2902 Check for null should be required when match nullable enum element
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-313, test type: neg):
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
+ * SPEC VERSION: 0.1-313
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 10
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
 * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
 * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 10
 */
 // FILE: 1.kt
@@ -1,8 +1,10 @@
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-313, test type: neg):
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
+ * SPEC VERSION: 0.1-313
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 10
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
 * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
 * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 10
 */
 enum class E { A, B }
@@ -1,10 +1,12 @@
 // FIR_IDENTICAL
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-313, test type: neg):
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression -> paragraph 1 -> sentence 1
+ * SPEC VERSION: 0.1-313
- *  - expressions, when-expression -> paragraph 1 -> sentence 2
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
- *  - expressions, when-expression -> paragraph 6 -> sentence 5
+ * expressions, when-expression -> paragraph 1 -> sentence 1
 * expressions, when-expression -> paragraph 1 -> sentence 2
 * expressions, when-expression -> paragraph 6 -> sentence 5
 */
 // EA-68871: empty when condition
@@ -1,10 +1,12 @@
 // FIR_IDENTICAL
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-313, test type: neg):
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression -> paragraph 1 -> sentence 1
+ * SPEC VERSION: 0.1-313
- *  - expressions, when-expression -> paragraph 1 -> sentence 2
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
- *  - expressions, when-expression -> paragraph 6 -> sentence 5
+ * expressions, when-expression -> paragraph 1 -> sentence 1
 * expressions, when-expression -> paragraph 1 -> sentence 2
 * expressions, when-expression -> paragraph 6 -> sentence 5
 */
 // EA-68871: empty when condition
@@ -1,10 +1,12 @@
 // FIR_IDENTICAL
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-313, test type: neg):
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 3
+ * SPEC VERSION: 0.1-313
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 4
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 5
+ * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 3
 * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 4
 * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 5
 */
 // See also: KT-3743
@@ -1,10 +1,12 @@
 // FIR_IDENTICAL
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-313, test type: neg):
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 3
+ * SPEC VERSION: 0.1-313
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 4
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 5
+ * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 3
 * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 4
 * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 5
 */
 fun foo(arg: Boolean): String {
@@ -1,10 +1,12 @@
 // FIR_IDENTICAL
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-313, test type: neg):
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 3
+ * SPEC VERSION: 0.1-313
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 4
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 5
+ * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 3
 * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 4
 * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 5
 */
 // See also: KT-3743
@@ -1,10 +1,12 @@
 // FIR_IDENTICAL
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-313, test type: neg):
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 3
+ * SPEC VERSION: 0.1-313
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 4
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 10
+ * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 3
 * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 4
 * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 10
 */
 // See also: KT-3743
@@ -1,10 +1,12 @@
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-313, test type: neg):
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
+ * SPEC VERSION: 0.1-313
- *  - control--and-data-flow-analysis, control-flow-graph, expressions-1, conditional-expressions -> paragraph 2 -> sentence 1
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
- *  - control--and-data-flow-analysis, control-flow-graph, expressions-1, boolean-operators -> paragraph 0 -> sentence 0
+ * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
- *  - control--and-data-flow-analysis, control-flow-graph, statements-1 -> paragraph 0 -> sentence 0
+ * control--and-data-flow-analysis, control-flow-graph, expressions-1, conditional-expressions -> paragraph 2 -> sentence 1
 * control--and-data-flow-analysis, control-flow-graph, expressions-1, boolean-operators -> paragraph 0 -> sentence 0
 * control--and-data-flow-analysis, control-flow-graph, statements-1 -> paragraph 0 -> sentence 0
 */
 enum class Color { RED, GREEN, BLUE }
@@ -1,8 +1,10 @@
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-313, test type: neg):
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression -> paragraph 6 -> sentence 1
+ * SPEC VERSION: 0.1-313
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
 * expressions, when-expression -> paragraph 6 -> sentence 1
 * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
 */
 enum class MyEnum {
@@ -1,9 +1,11 @@
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-313, test type: neg):
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression -> paragraph 6 -> sentence 1
+ * SPEC VERSION: 0.1-313
- *  - expressions, when-expression -> paragraph 6 -> sentence 5
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
+ * expressions, when-expression -> paragraph 6 -> sentence 1
 * expressions, when-expression -> paragraph 6 -> sentence 5
 * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
 */
 enum class MyEnum {
@@ -1,10 +1,12 @@
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-313, test type: pos):
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression -> paragraph 6 -> sentence 5
+ * SPEC VERSION: 0.1-313
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
- *  - control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 2 -> sentence 1
+ * expressions, when-expression -> paragraph 6 -> sentence 5
- *  - control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 2 -> sentence 3
+ * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
 * control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 2 -> sentence 1
 * control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 2 -> sentence 3
 */
 enum class Direction {
@@ -1,11 +1,13 @@
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-313, test type: pos):
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 3
+ * SPEC VERSION: 0.1-313
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 4
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 5
+ * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 3
- *  - control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 2 -> sentence 1
+ * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 4
- *  - control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 2 -> sentence 3
+ * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 5
 * control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 2 -> sentence 1
 * control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 2 -> sentence 3
 */
 fun foo(b: Boolean): Int {
@@ -1,10 +1,12 @@
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-313, test type: pos):
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
+ * SPEC VERSION: 0.1-313
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 10
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
- *  - control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 2 -> sentence 1
+ * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
- *  - control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 2 -> sentence 3
+ * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 10
 * control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 2 -> sentence 1
 * control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 2 -> sentence 3
 */
 enum class MyEnum {
@@ -1,7 +1,9 @@
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-313, test type: pos):
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
+ * SPEC VERSION: 0.1-313
 * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
 * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
 */
 // See KT-6399: exhaustive whens on platform enums
@@ -1,8 +1,10 @@
 // FIR_IDENTICAL
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-313, test type: pos):
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
+ * SPEC VERSION: 0.1-313
 * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
 * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
 */
 // See KT-6399: exhaustive whens on platform enums
@@ -1,9 +1,11 @@
 // FIR_IDENTICAL
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-313, test type: pos):
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 1
+ * SPEC VERSION: 0.1-313
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
 * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 1
 * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
 */
 // See KT-6399: exhaustive whens on platform enums
@@ -1,9 +1,11 @@
 // FIR_IDENTICAL
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-313, test type: pos):
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
+ * SPEC VERSION: 0.1-313
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 10
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
 * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
 * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 10
 */
 // See KT-6399: exhaustive whens on platform enums
@@ -1,7 +1,10 @@
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-152, test type: pos):
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
+ * SPEC VERSION: 0.1-152
 * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
 * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
 * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 923
 */
 // See KT-6399: exhaustive whens on platform enums
@@ -1,9 +1,11 @@
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-152, test type: pos):
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
+ * SPEC VERSION: 0.1-152
- *  - control--and-data-flow-analysis, control-flow-graph, expressions-1, conditional-expressions -> paragraph 2 -> sentence 1
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
- *  - control--and-data-flow-analysis, control-flow-graph, expressions-1, boolean-operators -> paragraph 0 -> sentence 0
+ * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
 * control--and-data-flow-analysis, control-flow-graph, expressions-1, conditional-expressions -> paragraph 2 -> sentence 1
 * control--and-data-flow-analysis, control-flow-graph, expressions-1, boolean-operators -> paragraph 0 -> sentence 0
 */
 enum class Direction {
@@ -1,9 +1,11 @@
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-152, test type: pos):
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
+ * SPEC VERSION: 0.1-152
- *  - control--and-data-flow-analysis, control-flow-graph, expressions-1, conditional-expressions -> paragraph 2 -> sentence 1
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
- *  - control--and-data-flow-analysis, control-flow-graph, expressions-1, boolean-operators -> paragraph 0 -> sentence 0
+ * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
 * control--and-data-flow-analysis, control-flow-graph, expressions-1, conditional-expressions -> paragraph 2 -> sentence 1
 * control--and-data-flow-analysis, control-flow-graph, expressions-1, boolean-operators -> paragraph 0 -> sentence 0
 */
 enum class Direction {
@@ -1,11 +1,13 @@
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-152, test type: neg):
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 3
+ * SPEC VERSION: 0.1-152
- *  - control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 2 -> sentence 1
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
- *  - control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 2 -> sentence 3
+ * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 3
- *  - control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 3 -> sentence 2
+ * control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 2 -> sentence 1
- *  - control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 3 -> sentence 3
+ * control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 2 -> sentence 3
 * control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 3 -> sentence 2
 * control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 3 -> sentence 3
 */
 fun foo(a: Boolean, b: Boolean): Int {
@@ -1,10 +1,12 @@
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-152, test type: neg):
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 3
+ * SPEC VERSION: 0.1-152
- *  - control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 2 -> sentence 1
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
- *  - control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 2 -> sentence 3
+ * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 3
- *  - control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 3 -> sentence 2
+ * control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 2 -> sentence 1
 * control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 2 -> sentence 3
 * control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 3 -> sentence 2
 */
 fun foo(a: Boolean, b: Boolean): Int {
@@ -1,8 +1,10 @@
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-152, test type: pos):
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
+ * SPEC VERSION: 0.1-152
- *  - type-inference, smart-casts, smart-cast-types -> paragraph 9 -> sentence 1
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
 * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
 * type-inference, smart-casts, smart-cast-types -> paragraph 9 -> sentence 1
 */
 // KT-7857: when exhaustiveness does not take previous nullability checks into account
@@ -1,10 +1,12 @@
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-152, test type: pos):
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
+ * SPEC VERSION: 0.1-152
- *  - type-inference, smart-casts, smart-cast-types -> paragraph 9 -> sentence 1
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
- *  - control--and-data-flow-analysis, control-flow-graph, expressions-1, conditional-expressions -> paragraph 1 -> sentence 1
+ * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
- *  - control--and-data-flow-analysis, control-flow-graph, expressions-1, boolean-operators -> paragraph 0 -> sentence 0
+ * type-inference, smart-casts, smart-cast-types -> paragraph 9 -> sentence 1
 * control--and-data-flow-analysis, control-flow-graph, expressions-1, conditional-expressions -> paragraph 1 -> sentence 1
 * control--and-data-flow-analysis, control-flow-graph, expressions-1, boolean-operators -> paragraph 0 -> sentence 0
 */
 // KT-7857: when exhaustiveness does not take previous nullability checks into account
@@ -1,10 +1,12 @@
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-152, test type: pos):
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 3
+ * SPEC VERSION: 0.1-152
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 4
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 5
+ * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 3
- *  - type-inference, smart-casts, smart-cast-types -> paragraph 9 -> sentence 1
+ * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 4
 * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 5
 * type-inference, smart-casts, smart-cast-types -> paragraph 9 -> sentence 1
 */
 // KT-7857: when exhaustiveness does not take previous nullability checks into account
@@ -1,10 +1,12 @@
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-152, test type: pos):
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
+ * SPEC VERSION: 0.1-152
- *  - type-inference, smart-casts, smart-cast-types -> paragraph 9 -> sentence 1
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
- *  - control--and-data-flow-analysis, control-flow-graph, expressions-1, conditional-expressions -> paragraph 1 -> sentence 1
+ * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
- *  - control--and-data-flow-analysis, control-flow-graph, expressions-1, boolean-operators -> paragraph 0 -> sentence 0
+ * type-inference, smart-casts, smart-cast-types -> paragraph 9 -> sentence 1
 * control--and-data-flow-analysis, control-flow-graph, expressions-1, conditional-expressions -> paragraph 1 -> sentence 1
 * control--and-data-flow-analysis, control-flow-graph, expressions-1, boolean-operators -> paragraph 0 -> sentence 0
 */
 // KT-7857: when exhaustiveness does not take previous nullability checks into account
@@ -1,8 +1,10 @@
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-152, test type: neg):
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression -> paragraph 9 -> sentence 2
+ * SPEC VERSION: 0.1-152
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 1 -> sentence 1
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
 * expressions, when-expression -> paragraph 9 -> sentence 2
 * expressions, when-expression, exhaustive-when-expressions -> paragraph 1 -> sentence 1
 */
 fun foo(x: Int) {
@@ -1,8 +1,10 @@
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-152, test type: neg):
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression -> paragraph 9 -> sentence 2
+ * SPEC VERSION: 0.1-152
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 1 -> sentence 1
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
 * expressions, when-expression -> paragraph 9 -> sentence 2
 * expressions, when-expression, exhaustive-when-expressions -> paragraph 1 -> sentence 1
 */
 fun foo(x: Int): Any {
@@ -1,9 +1,11 @@
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-152, test type: neg):
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression -> paragraph 9 -> sentence 2
+ * SPEC VERSION: 0.1-152
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 1 -> sentence 1
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
- *  - expressions, function-literals, lambda-literals -> paragraph 10 -> sentence 1
+ * expressions, when-expression -> paragraph 9 -> sentence 2
 * expressions, when-expression, exhaustive-when-expressions -> paragraph 1 -> sentence 1
 * expressions, function-literals, lambda-literals -> paragraph 10 -> sentence 1
 */
 fun foo(x: Int) {
@@ -1,10 +1,12 @@
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-152, test type: neg):
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression -> paragraph 9 -> sentence 2
+ * SPEC VERSION: 0.1-152
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 1 -> sentence 1
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
- *  - expressions, function-literals, lambda-literals -> paragraph 10 -> sentence 1
+ * expressions, when-expression -> paragraph 9 -> sentence 2
- *  - overload-resolution, determining-function-applicability-for-a-specific-call, description -> paragraph 3 -> sentence 3
+ * expressions, when-expression, exhaustive-when-expressions -> paragraph 1 -> sentence 1
 * expressions, function-literals, lambda-literals -> paragraph 10 -> sentence 1
 * overload-resolution, determining-function-applicability-for-a-specific-call, description -> paragraph 3 -> sentence 3
 */
 fun foo(x: Int) {
@@ -1,8 +1,10 @@
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-152, test type: neg):
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression -> paragraph 9 -> sentence 2
+ * SPEC VERSION: 0.1-152
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 1 -> sentence 1
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
 * expressions, when-expression -> paragraph 9 -> sentence 2
 * expressions, when-expression, exhaustive-when-expressions -> paragraph 1 -> sentence 1
 */
 fun foo(x: Int): Any {
@@ -1,8 +1,10 @@
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-152, test type: neg):
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression -> paragraph 9 -> sentence 2
+ * SPEC VERSION: 0.1-152
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 1 -> sentence 1
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
 * expressions, when-expression -> paragraph 9 -> sentence 2
 * expressions, when-expression, exhaustive-when-expressions -> paragraph 1 -> sentence 1
 */
@@ -1,8 +1,10 @@
 // FIR_IDENTICAL
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-152, test type: pos):
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression -> paragraph 9 -> sentence 2
+ * SPEC VERSION: 0.1-152
 * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
 * expressions, when-expression -> paragraph 9 -> sentence 2
 */
 fun foo(x: Int) {
@@ -1,9 +1,11 @@
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-152, test type: pos):
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 1 -> sentence 1
+ * SPEC VERSION: 0.1-152
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 3
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 10
+ * expressions, when-expression, exhaustive-when-expressions -> paragraph 1 -> sentence 1
 * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 3
 * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 10
 */
 // See also: KT-3743
@@ -1,8 +1,10 @@
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-152, test type: neg):
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 1 -> sentence 1
+ * SPEC VERSION: 0.1-152
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
 * expressions, when-expression, exhaustive-when-expressions -> paragraph 1 -> sentence 1
 * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
 */
 // See KT-6399: exhaustive whens on platform enums
@@ -1,11 +1,13 @@
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-152, test type: neg):
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 1 -> sentence 1
+ * SPEC VERSION: 0.1-152
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
- *  - expressions, when-expression -> paragraph 9 -> sentence 2
+ * expressions, when-expression, exhaustive-when-expressions -> paragraph 1 -> sentence 1
- *  - control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 2 -> sentence 1
+ * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
- *  - control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 2 -> sentence 3
+ * expressions, when-expression -> paragraph 9 -> sentence 2
 * control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 2 -> sentence 1
 * control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 2 -> sentence 3
 */
 // Base for KT-6227
@@ -1,12 +1,14 @@
 // FIR_IDENTICAL
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-152, test type: neg):
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
+ * SPEC VERSION: 0.1-152
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 1
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
- *  - control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 2 -> sentence 1
+ * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
- *  - control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 2 -> sentence 3
+ * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 1
- *  - control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 3 -> sentence 2
+ * control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 2 -> sentence 1
 * control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 2 -> sentence 3
 * control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 3 -> sentence 2
 */
 // Base for KT-6227
@@ -1,10 +1,12 @@
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-152, test type: neg):
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
+ * SPEC VERSION: 0.1-152
- *  - control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 2 -> sentence 1
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
- *  - control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 2 -> sentence 3
+ * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
- *  - control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 3 -> sentence 2
+ * control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 2 -> sentence 1
 * control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 2 -> sentence 3
 * control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 3 -> sentence 2
 */
 // Base for KT-6227
@@ -1,12 +1,14 @@
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-152, test type: neg):
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 1 -> sentence 1
+ * SPEC VERSION: 0.1-152
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 6
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 7
+ * expressions, when-expression, exhaustive-when-expressions -> paragraph 1 -> sentence 1
- *  - expressions, when-expression -> paragraph 9 -> sentence 2
+ * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 6
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 3 -> sentence 1
+ * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 7
- *  - type-inference, smart-casts, smart-cast-types -> paragraph 9 -> sentence 1
+ * expressions, when-expression -> paragraph 9 -> sentence 2
 * expressions, when-expression, exhaustive-when-expressions -> paragraph 3 -> sentence 1
 * type-inference, smart-casts, smart-cast-types -> paragraph 9 -> sentence 1
 */
 sealed class S
@@ -1,13 +1,15 @@
 // FIR_IDENTICAL
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-152, test type: neg):
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 1 -> sentence 1
+ * SPEC VERSION: 0.1-152
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 10
+ * expressions, when-expression, exhaustive-when-expressions -> paragraph 1 -> sentence 1
- *  - expressions, when-expression -> paragraph 9 -> sentence 2
+ * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
- *  - control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 2 -> sentence 1
+ * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 10
- *  - control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 2 -> sentence 3
+ * expressions, when-expression -> paragraph 9 -> sentence 2
 * control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 2 -> sentence 1
 * control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 2 -> sentence 3
 */
 // Base for KT-6227
@@ -1,10 +1,12 @@
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-152, test type: neg):
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 1 -> sentence 1
+ * SPEC VERSION: 0.1-152
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
- *  - expressions, when-expression -> paragraph 9 -> sentence 2
+ * expressions, when-expression, exhaustive-when-expressions -> paragraph 1 -> sentence 1
- *  - type-inference, smart-casts, smart-cast-types -> paragraph 9 -> sentence 1
+ * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
 * expressions, when-expression -> paragraph 9 -> sentence 2
 * type-inference, smart-casts, smart-cast-types -> paragraph 9 -> sentence 1
 */
 // KT-7857: when exhaustiveness does not take previous nullability checks into account
@@ -1,11 +1,13 @@
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-152, test type: neg):
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
+ * SPEC VERSION: 0.1-152
- *  - control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 2 -> sentence 1
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
- *  - control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 2 -> sentence 3
+ * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
- *  - control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 3 -> sentence 2
+ * control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 2 -> sentence 1
- *  - declarations, classifier-declaration, classifier-initialization -> paragraph 6 -> sentence 4
+ * control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 2 -> sentence 3
 * control--and-data-flow-analysis, performing-analysis-on-the-control-flow-graph, variable-initialization-analysis -> paragraph 3 -> sentence 2
 * declarations, classifier-declaration, classifier-initialization -> paragraph 6 -> sentence 4
 */
 // See KT-5113
@@ -1,11 +1,13 @@
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-152, test type: neg):
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 3
+ * SPEC VERSION: 0.1-152
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 6
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
+ * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 3
- *  - expressions, when-expression -> paragraph 6 -> sentence 10
+ * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 6
- *  - expressions, when-expression -> paragraph 6 -> sentence 11
+ * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
 * expressions, when-expression -> paragraph 6 -> sentence 10
 * expressions, when-expression -> paragraph 6 -> sentence 11
 */
 // FILE: MyEnum.java
@@ -1,8 +1,10 @@
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-152, test type: neg):
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
- *  - expressions, when-expression -> paragraph 2 -> sentence 1
+ *
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ * SPEC VERSION: 0.1-152
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 1
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 2 -> sentence 1
 * expressions, when-expression -> paragraph 5 -> sentence 1
 * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 1
 */
 // !DIAGNOSTICS: -UNUSED_PARAMETER
@@ -1,11 +1,13 @@
 // !DIAGNOSTICS: -UNUSED_VARIABLE
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-152, test type: neg):
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression -> paragraph 6 -> sentence 1
+ * SPEC VERSION: 0.1-152
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 6
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 7
+ * expressions, when-expression -> paragraph 6 -> sentence 1
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 8
+ * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 6
 * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 7
 * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 8
 */
 sealed class A {
@@ -1,14 +1,16 @@
 // !WITH_NEW_INFERENCE
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-152, test type: neg):
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
- *  - expressions, when-expression -> paragraph 2 -> sentence 5
+ *
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ * SPEC VERSION: 0.1-152
- *  - expressions, when-expression -> paragraph 6 -> sentence 1
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 2 -> sentence 5
- *  - expressions, when-expression -> paragraph 6 -> sentence 3
+ * expressions, when-expression -> paragraph 5 -> sentence 1
- *  - expressions, when-expression -> paragraph 6 -> sentence 5
+ * expressions, when-expression -> paragraph 6 -> sentence 1
- *  - expressions, when-expression -> paragraph 6 -> sentence 9
+ * expressions, when-expression -> paragraph 6 -> sentence 3
- *  - expressions, when-expression -> paragraph 6 -> sentence 10
+ * expressions, when-expression -> paragraph 6 -> sentence 5
- *  - expressions, when-expression -> paragraph 6 -> sentence 11
+ * expressions, when-expression -> paragraph 6 -> sentence 9
 * expressions, when-expression -> paragraph 6 -> sentence 10
 * expressions, when-expression -> paragraph 6 -> sentence 11
 */
 fun Int.foo() : Boolean = true
@@ -1,11 +1,13 @@
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-152, test type: neg):
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - type-inference, smart-casts, smart-cast-types -> paragraph 9 -> sentence 1
+ * SPEC VERSION: 0.1-152
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 1
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
- *  - expressions, when-expression -> paragraph 6 -> sentence 1
+ * type-inference, smart-casts, smart-cast-types -> paragraph 9 -> sentence 1
- *  - control--and-data-flow-analysis, control-flow-graph, expressions-1, conditional-expressions -> paragraph 2 -> sentence 1
+ * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 1
- *  - control--and-data-flow-analysis, control-flow-graph, expressions-1, boolean-operators -> paragraph 0 -> sentence 0
+ * expressions, when-expression -> paragraph 6 -> sentence 1
 * control--and-data-flow-analysis, control-flow-graph, expressions-1, conditional-expressions -> paragraph 2 -> sentence 1
 * control--and-data-flow-analysis, control-flow-graph, expressions-1, boolean-operators -> paragraph 0 -> sentence 0
 */
 fun foo(s: Any): String {
@@ -1,12 +1,14 @@
 // !WITH_NEW_INFERENCE
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-152, test type: pos):
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression -> paragraph 9 -> sentence 1
+ * SPEC VERSION: 0.1-152
- *  - expressions, conditional-expression -> paragraph 4 -> sentence 1
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
- *  - expressions, conditional-expression -> paragraph 5 -> sentence 1
+ * expressions, when-expression -> paragraph 9 -> sentence 1
- *  - overload-resolution, determining-function-applicability-for-a-specific-call, rationale -> paragraph 1 -> sentence 1
+ * expressions, conditional-expression -> paragraph 4 -> sentence 1
- *  - overload-resolution, determining-function-applicability-for-a-specific-call, description -> paragraph 3 -> sentence 1
+ * expressions, conditional-expression -> paragraph 5 -> sentence 1
 * overload-resolution, determining-function-applicability-for-a-specific-call, rationale -> paragraph 1 -> sentence 1
 * overload-resolution, determining-function-applicability-for-a-specific-call, description -> paragraph 3 -> sentence 1
 */
 fun foo(x: Int) = x
@@ -2,18 +2,20 @@
 // !DIAGNOSTICS: -UNUSED_PARAMETER -DEBUG_INFO_SMARTCAST
 // NI_EXPECTED_FILE
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-152, test type: pos):
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression -> paragraph 6 -> sentence 1
+ * SPEC VERSION: 0.1-152
- *  - expressions, when-expression -> paragraph 2 -> sentence 1
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
- *  - expressions, when-expression -> paragraph 9 -> sentence 1
+ * expressions, when-expression -> paragraph 6 -> sentence 1
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 1
+ * expressions, when-expression -> paragraph 2 -> sentence 1
- *  - expressions, conditional-expression -> paragraph 4 -> sentence 1
+ * expressions, when-expression -> paragraph 9 -> sentence 1
- *  - declarations, function-declaration -> paragraph 7 -> sentence 1
+ * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 1
- *  - type-inference, smart-casts, smart-cast-types -> paragraph 9 -> sentence 1
+ * expressions, conditional-expression -> paragraph 4 -> sentence 1
- *  - type-system, type-kinds, type-parameters -> paragraph 4 -> sentence 1
+ * declarations, function-declaration -> paragraph 7 -> sentence 1
- *  - type-inference, local-type-inference -> paragraph 8 -> sentence 1
+ * type-inference, smart-casts, smart-cast-types -> paragraph 9 -> sentence 1
- *  - type-inference, local-type-inference -> paragraph 2 -> sentence 1
+ * type-system, type-kinds, type-parameters -> paragraph 4 -> sentence 1
 * type-inference, local-type-inference -> paragraph 8 -> sentence 1
 * type-inference, local-type-inference -> paragraph 2 -> sentence 1
 */
 interface Data
@@ -1,15 +1,17 @@
 // FIR_IDENTICAL
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-152, test type: pos):
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
- *  - expressions, when-expression -> paragraph 2 -> sentence 1
+ *
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ * SPEC VERSION: 0.1-152
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 1
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 2 -> sentence 1
- *  - expressions, conditional-expression -> paragraph 4 -> sentence 1
+ * expressions, when-expression -> paragraph 5 -> sentence 1
- *  - type-inference, local-type-inference -> paragraph 8 -> sentence 1
+ * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 1
- *  - type-inference, local-type-inference -> paragraph 2 -> sentence 1
+ * expressions, conditional-expression -> paragraph 4 -> sentence 1
- *  - type-system, subtyping, subtyping-rules -> paragraph 2 -> sentence 3
+ * type-inference, local-type-inference -> paragraph 8 -> sentence 1
- *  - type-system, subtyping, subtyping-for-nullable-types -> paragraph 4 -> sentence 1
+ * type-inference, local-type-inference -> paragraph 2 -> sentence 1
- *  - type-system, subtyping, subtyping-for-nullable-types -> paragraph 4 -> sentence 2
+ * type-system, subtyping, subtyping-rules -> paragraph 2 -> sentence 3
 * type-system, subtyping, subtyping-for-nullable-types -> paragraph 4 -> sentence 1
 * type-system, subtyping, subtyping-for-nullable-types -> paragraph 4 -> sentence 2
 */
 interface Maybe<T>
@@ -1,9 +1,11 @@
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-152, test type: pos):
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
- *  - expressions, when-expression -> paragraph 5 -> sentence 1
+ *
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 1 -> sentence 1
+ * SPEC VERSION: 0.1-152
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 1
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 5 -> sentence 1
- *  - expressions, when-expression -> paragraph 6 -> sentence 5
+ * expressions, when-expression, exhaustive-when-expressions -> paragraph 1 -> sentence 1
 * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 1
 * expressions, when-expression -> paragraph 6 -> sentence 5
 */
 // KT-4434 Missed diagnostic about else branch in when
@@ -1,11 +1,13 @@
 // !WITH_NEW_INFERENCE
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-152, test type: pos):
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
- *  - expressions, when-expression -> paragraph 2 -> sentence 1
+ *
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 1
+ * SPEC VERSION: 0.1-152
- *  - expressions, when-expression -> paragraph 9 -> sentence 1
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 2 -> sentence 1
- *  - expressions, conditional-expression -> paragraph 4 -> sentence 1
+ * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 1
- *  - expressions, conditional-expression -> paragraph 5 -> sentence 1
+ * expressions, when-expression -> paragraph 9 -> sentence 1
 * expressions, conditional-expression -> paragraph 4 -> sentence 1
 * expressions, conditional-expression -> paragraph 5 -> sentence 1
 */
 fun test1(): Int {
@@ -1,11 +1,13 @@
 // !WITH_NEW_INFERENCE
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-152, test type: neg):
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
- *  - expressions, when-expression -> paragraph 2 -> sentence 1
+ *
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 1
+ * SPEC VERSION: 0.1-152
- *  - type-system, subtyping, subtyping-rules -> paragraph 2 -> sentence 1
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 2 -> sentence 1
- *  - type-inference, local-type-inference -> paragraph 2 -> sentence 1
+ * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 1
- *  - overload-resolution, determining-function-applicability-for-a-specific-call, description -> paragraph 3 -> sentence 3
+ * type-system, subtyping, subtyping-rules -> paragraph 2 -> sentence 1
 * type-inference, local-type-inference -> paragraph 2 -> sentence 1
 * overload-resolution, determining-function-applicability-for-a-specific-call, description -> paragraph 3 -> sentence 3
 */
 val test1: (String) -> Boolean =
@@ -1,13 +1,15 @@
 // !WITH_NEW_INFERENCE
 // NI_EXPECTED_FILE
 /*
- * RELEVANT SPEC SENTENCES (spec version: 0.1-152, test type: neg):
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
- *  - expressions, when-expression -> paragraph 2 -> sentence 1
+ *
- *  - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 1
+ * SPEC VERSION: 0.1-152
- *  - declarations, function-declaration -> paragraph 7 -> sentence 1
+ * PRIMARY LINKS: expressions, when-expression -> paragraph 2 -> sentence 1
- *  - declarations, function-declaration -> paragraph 7 -> sentence 2
+ * expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 1
- *  - declarations, function-declaration -> paragraph 8 -> sentence 1
+ * declarations, function-declaration -> paragraph 7 -> sentence 1
- *  - overload-resolution, determining-function-applicability-for-a-specific-call, description -> paragraph 1 -> sentence 3
+ * declarations, function-declaration -> paragraph 7 -> sentence 2
 * declarations, function-declaration -> paragraph 8 -> sentence 1
 * overload-resolution, determining-function-applicability-for-a-specific-call, description -> paragraph 1 -> sentence 3
 */
 val <!OI;IMPLICIT_NOTHING_PROPERTY_TYPE!>test1<!> = when {
@@ -101,7 +101,7 @@ abstract class BaseDiagnosticsTest : KotlinMultiFileTestWithJava<TestModule, Tes
        analyzeAndCheck(wholeFile, files)
    }
-    protected open fun shouldSkipTest(wholeFile: File, files: List<TestFile>) : Boolean = false
+    protected open fun shouldSkipTest(wholeFile: File, files: List<TestFile>): Boolean = false
    protected abstract fun analyzeAndCheck(testDataFile: File, files: List<TestFile>)
@@ -412,7 +412,8 @@ abstract class BaseDiagnosticsTest : KotlinMultiFileTestWithJava<TestModule, Tes
        val RENDER_DIAGNOSTICS_FULL_TEXT = "RENDER_DIAGNOSTICS_FULL_TEXT"
        val DIAGNOSTIC_IN_TESTDATA_PATTERN = Regex("<!>|<!(.*?(\\(\".*?\"\\)|\\(\\))??)+(?<!<)!>")
-        val SPEC_LINKS_IN_TESTDATA_PATTERN = Regex("""/\*\s+\*\s+RELEVANT SPEC SENTENCES[\w\W]*?\*/\n""")
+        val SPEC_LINKS_IN_TESTDATA_PATTERN =
            Regex("""\/\*\s+? \* KOTLIN (PSI|DIAGNOSTICS|CODEGEN BOX) SPEC TEST \((POSITIVE|NEGATIVE)\)\n([\s\S]*?\n)\s+\*\/\n""")
        fun parseDiagnosticFilterDirective(
            directiveMap: Directives,
@@ -4,8 +4,8 @@
 * KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
 *
 * SPEC VERSION: 0.1-218
- * PLACE: expressions, additive-expression -> paragraph 2 -> sentence 1
+ * MAIN LINK: expressions, additive-expression -> paragraph 2 -> sentence 1
- * RELEVANT PLACES: expressions, additive-expression -> paragraph 1 -> sentence 1
+ * PRIMARY LINKS: expressions, additive-expression -> paragraph 1 -> sentence 1
 * expressions, additive-expression -> paragraph 1 -> sentence 2
 * expressions, additive-expression -> paragraph 3 -> sentence 1
 * overloadable-operators -> paragraph 4 -> sentence 1
@@ -4,8 +4,8 @@
 * KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
 *
 * SPEC VERSION: 0.1-218
- * PLACE: expressions, additive-expression -> paragraph 2 -> sentence 2
+ * MAIN LINK: expressions, additive-expression -> paragraph 2 -> sentence 2
- * RELEVANT PLACES: expressions, additive-expression -> paragraph 1 -> sentence 1
+ * PRIMARY LINKS: expressions, additive-expression -> paragraph 1 -> sentence 1
 * expressions, additive-expression -> paragraph 1 -> sentence 2
 * expressions, additive-expression -> paragraph 3 -> sentence 1
 * overloadable-operators -> paragraph 4 -> sentence 1
@@ -5,7 +5,7 @@
 * KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
 *
 * SPEC VERSION: 0.1-213
- * PLACE: expressions, built-in-types-and-their-semantics, kotlin.nothing-1 -> paragraph 1 -> sentence 1
+ * MAIN LINK: expressions, built-in-types-and-their-semantics, kotlin.nothing-1 -> paragraph 1 -> sentence 1
 * NUMBER: 1
 * DESCRIPTION: check kotlin.Nothing by throwing the exception
 */
@@ -4,7 +4,7 @@
 * KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
 *
 * SPEC VERSION: 0.1-213
- * PLACE: expressions, built-in-types-and-their-semantics, kotlin.nothing-1 -> paragraph 1 -> sentence 1
+ * MAIN LINK: expressions, built-in-types-and-their-semantics, kotlin.nothing-1 -> paragraph 1 -> sentence 1
 * NUMBER: 10
 * DESCRIPTION: ckeck a common type of String and Nothing is String
 */
@@ -4,7 +4,7 @@
 * KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
 *
 * SPEC VERSION: 0.1-213
- * PLACE: expressions, built-in-types-and-their-semantics, kotlin.nothing-1 -> paragraph 1 -> sentence 1
+ * MAIN LINK: expressions, built-in-types-and-their-semantics, kotlin.nothing-1 -> paragraph 1 -> sentence 1
 * NUMBER: 2
 * DESCRIPTION: check kotlin.Nothing type
 */
@@ -4,7 +4,7 @@
 * KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
 *
 * SPEC VERSION: 0.1-213
- * PLACE: expressions, built-in-types-and-their-semantics, kotlin.nothing-1 -> paragraph 1 -> sentence 1
+ * MAIN LINK: expressions, built-in-types-and-their-semantics, kotlin.nothing-1 -> paragraph 1 -> sentence 1
 * NUMBER: 3
 * DESCRIPTION: check kotlin.Nothing type
 */
@@ -4,7 +4,7 @@
 * KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
 *
 * SPEC VERSION: 0.1-213
- * PLACE: expressions, built-in-types-and-their-semantics, kotlin.nothing-1 -> paragraph 1 -> sentence 1
+ * MAIN LINK: expressions, built-in-types-and-their-semantics, kotlin.nothing-1 -> paragraph 1 -> sentence 1
 * NUMBER: 4
 * DESCRIPTION: check kotlin.Nothing type
 */
@@ -4,7 +4,7 @@
 * KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
 *
 * SPEC VERSION: 0.1-213
- * PLACE: expressions, built-in-types-and-their-semantics, kotlin.nothing-1 -> paragraph 1 -> sentence 1
+ * MAIN LINK: expressions, built-in-types-and-their-semantics, kotlin.nothing-1 -> paragraph 1 -> sentence 1
 * NUMBER: 5
 * DESCRIPTION: check kotlin.Nothing type
 */
@@ -4,7 +4,7 @@
 * KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
 *
 * SPEC VERSION: 0.1-213
- * PLACE: expressions, built-in-types-and-their-semantics, kotlin.nothing-1 -> paragraph 1 -> sentence 1
+ * MAIN LINK: expressions, built-in-types-and-their-semantics, kotlin.nothing-1 -> paragraph 1 -> sentence 1
 * NUMBER: 6
 * DESCRIPTION: check kotlin.Nothing type
 */
@@ -5,7 +5,7 @@
 * KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
 *
 * SPEC VERSION: 0.1-213
- * PLACE: expressions, built-in-types-and-their-semantics, kotlin.nothing-1 -> paragraph 1 -> sentence 1
+ * MAIN LINK: expressions, built-in-types-and-their-semantics, kotlin.nothing-1 -> paragraph 1 -> sentence 1
 * NUMBER: 7
 * DESCRIPTION: check kotlin.Nothing type
 */
@@ -4,7 +4,7 @@
 * KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
 *
 * SPEC VERSION: 0.1-213
- * PLACE: expressions, built-in-types-and-their-semantics, kotlin.nothing-1 -> paragraph 1 -> sentence 1
+ * MAIN LINK: expressions, built-in-types-and-their-semantics, kotlin.nothing-1 -> paragraph 1 -> sentence 1
 * NUMBER: 8
 * DESCRIPTION: check kotlin.Nothing type
 */
@@ -5,7 +5,7 @@
 * KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
 *
 * SPEC VERSION: 0.1-213
- * PLACE: expressions, built-in-types-and-their-semantics, kotlin.nothing-1 -> paragraph 1 -> sentence 1
+ * MAIN LINK: expressions, built-in-types-and-their-semantics, kotlin.nothing-1 -> paragraph 1 -> sentence 1
 * NUMBER: 9
 * DESCRIPTION: check kotlin.Nothing type
 */
@@ -4,8 +4,8 @@
 * KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
 *
 * SPEC VERSION: 0.1-213
- * PLACE: expressions, built-in-types-and-their-semantics, kotlin.unit -> paragraph 1 -> sentence 1
+ * MAIN LINK: expressions, built-in-types-and-their-semantics, kotlin.unit -> paragraph 1 -> sentence 1
- * RELEVANT PLACES: expressions, equality-expressions, reference-equality-expressions -> paragraph 1 -> sentence 2
+ * PRIMARY LINKS: expressions, equality-expressions, reference-equality-expressions -> paragraph 1 -> sentence 2
 * NUMBER: 1
 * DESCRIPTION: todo
 */
@@ -4,7 +4,7 @@
 * KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
 *
 * SPEC VERSION: 0.1-313
- * PLACE: expressions, cast-expression -> paragraph 1 -> sentence 1
+ * MAIN LINK: expressions, cast-expression -> paragraph 1 -> sentence 1
 * NUMBER: 1
 * DESCRIPTION: check of the cast operators as or as?
 */
@@ -4,8 +4,8 @@
 * KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
 *
 * SPEC VERSION: 0.1-218
- * PLACE: expressions, comparison-expressions -> paragraph 1 -> sentence 2
+ * MAIN LINK: expressions, comparison-expressions -> paragraph 1 -> sentence 2
- * RELEVANT PLACES: expressions, comparison-expressions -> paragraph 1 -> sentence 1
+ * PRIMARY LINKS: expressions, comparison-expressions -> paragraph 1 -> sentence 1
 * expressions, comparison-expressions -> paragraph 2 -> sentence 1
 * expressions, comparison-expressions -> paragraph 3 -> sentence 1
 * expressions, comparison-expressions -> paragraph 4 -> sentence 1
@@ -4,8 +4,8 @@
 * KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
 *
 * SPEC VERSION: 0.1-218
- * PLACE: expressions, comparison-expressions -> paragraph 1 -> sentence 2
+ * MAIN LINK: expressions, comparison-expressions -> paragraph 1 -> sentence 2
- * RELEVANT PLACES: expressions, comparison-expressions -> paragraph 1 -> sentence 1
+ * PRIMARY LINKS: expressions, comparison-expressions -> paragraph 1 -> sentence 1
 * expressions, comparison-expressions -> paragraph 2 -> sentence 2
 * expressions, comparison-expressions -> paragraph 3 -> sentence 1
 * expressions, comparison-expressions -> paragraph 4 -> sentence 1
@@ -4,8 +4,8 @@
 * KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
 *
 * SPEC VERSION: 0.1-218
- * PLACE: expressions, comparison-expressions -> paragraph 1 -> sentence 2
+ * MAIN LINK: expressions, comparison-expressions -> paragraph 1 -> sentence 2
- * RELEVANT PLACES: expressions, comparison-expressions -> paragraph 1 -> sentence 1
+ * PRIMARY LINKS: expressions, comparison-expressions -> paragraph 1 -> sentence 1
 * expressions, comparison-expressions -> paragraph 2 -> sentence 3
 * expressions, comparison-expressions -> paragraph 3 -> sentence 1
 * expressions, comparison-expressions -> paragraph 4 -> sentence 1
@@ -4,8 +4,8 @@
 * KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
 *
 * SPEC VERSION: 0.1-218
- * PLACE: expressions, comparison-expressions -> paragraph 1 -> sentence 2
+ * MAIN LINK: expressions, comparison-expressions -> paragraph 1 -> sentence 2
- * RELEVANT PLACES: expressions, comparison-expressions -> paragraph 1 -> sentence 1
+ * PRIMARY LINKS: expressions, comparison-expressions -> paragraph 1 -> sentence 1
 * expressions, comparison-expressions -> paragraph 2 -> sentence 3
 * expressions, comparison-expressions -> paragraph 3 -> sentence 1
 * expressions, comparison-expressions -> paragraph 4 -> sentence 1
@@ -4,7 +4,7 @@
 * KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
 *
 * SPEC VERSION: 0.1-218
- * PLACE: expressions, conditional-expression -> paragraph 1 -> sentence 2
+ * MAIN LINK: expressions, conditional-expression -> paragraph 1 -> sentence 2
 * NUMBER: 1
 * DESCRIPTION: if-expression: check the correct branch is evaluating
 */
@@ -5,7 +5,7 @@
 * KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
 *
 * SPEC VERSION: 0.1-218
- * PLACE: expressions, conditional-expression -> paragraph 1 -> sentence 2
+ * MAIN LINK: expressions, conditional-expression -> paragraph 1 -> sentence 2
 * NUMBER: 2
 * DESCRIPTION: if-expression: check the correct branch is evaluating
 */
@@ -5,8 +5,8 @@
 * KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
 *
 * SPEC VERSION: 0.1-218
- * PLACE: expressions, conditional-expression -> paragraph 1 -> sentence 2
+ * MAIN LINK: expressions, conditional-expression -> paragraph 1 -> sentence 2
- * RELEVANT PLACES: expressions, conditional-expression -> paragraph 4 -> sentence 2
+ * PRIMARY LINKS: expressions, conditional-expression -> paragraph 4 -> sentence 2
 * NUMBER: 3
 * DESCRIPTION: if-expression: check the correct branch is evaluating
 */
@@ -5,7 +5,7 @@
 * KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
 *
 * SPEC VERSION: 0.1-218
- * PLACE: expressions, conditional-expression -> paragraph 1 -> sentence 2
+ * MAIN LINK: expressions, conditional-expression -> paragraph 1 -> sentence 2
 * NUMBER: 4
 * DESCRIPTION: if-expression: check the correct branch is evaluating
 */
@@ -5,7 +5,7 @@
 * KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
 *
 * SPEC VERSION: 0.1-218
- * PLACE: expressions, conditional-expression -> paragraph 1 -> sentence 2
+ * MAIN LINK: expressions, conditional-expression -> paragraph 1 -> sentence 2
 * NUMBER: 5
 * DESCRIPTION: if-expression: check the correct branch is evaluating
 */
@@ -5,7 +5,7 @@
 * KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
 *
 * SPEC VERSION: 0.1-218
- * PLACE: expressions, conditional-expression -> paragraph 1 -> sentence 2
+ * MAIN LINK: expressions, conditional-expression -> paragraph 1 -> sentence 2
 * NUMBER: 6
 * DESCRIPTION: if-expression: check the correct branch is evaluating
 */
@@ -4,7 +4,7 @@
 * KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
 *
 * SPEC VERSION: 0.1-218
- * PLACE: expressions, conditional-expression -> paragraph 1 -> sentence 2
+ * MAIN LINK: expressions, conditional-expression -> paragraph 1 -> sentence 2
 * NUMBER: 7
 * DESCRIPTION: if-expression: check the correct branch is evaluating
 */
@@ -4,7 +4,7 @@
 * KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
 *
 * SPEC VERSION: 0.1-218
- * PLACE: expressions, conditional-expression -> paragraph 1 -> sentence 2
+ * MAIN LINK: expressions, conditional-expression -> paragraph 1 -> sentence 2
 * NUMBER: 8
 * DESCRIPTION: if-expression: check the correct branch is evaluating
 */
@@ -4,7 +4,7 @@
 * KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
 *
 * SPEC VERSION: 0.1-218
- * PLACE: expressions, conditional-expression -> paragraph 2 -> sentence 1
+ * MAIN LINK: expressions, conditional-expression -> paragraph 2 -> sentence 1
 * NUMBER: 1
 * DESCRIPTION: branchless conditional expression, despite being of almost no practical use, is valid in Kotlin
 */
@@ -5,7 +5,7 @@
 * KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
 *
 * SPEC VERSION: 0.1-313
- * PLACE: expressions, conditional-expression -> paragraph 6 -> sentence 1
+ * MAIN LINK: expressions, conditional-expression -> paragraph 6 -> sentence 1
 * NUMBER: 1
 * DESCRIPTION: The type of the condition expression must be a subtype of kotlin.Boolean, otherwise it is an error
 */
@@ -2,7 +2,7 @@
 * KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
 *
 * SPEC VERSION: 0.1-300
- * PLACE: expressions, constant-literals, boolean-literals -> paragraph 1 -> sentence 2
+ * MAIN LINK: expressions, constant-literals, boolean-literals -> paragraph 1 -> sentence 2
 * NUMBER: 1
 * DESCRIPTION: The use of Boolean literals as the identifier (with backtick) in the class.
 * NOTE: this test data is generated by FeatureInteractionTestDataGenerator. DO NOT MODIFY CODE MANUALLY!
@@ -2,7 +2,7 @@
 * KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
 *
 * SPEC VERSION: 0.1-300
- * PLACE: expressions, constant-literals, boolean-literals -> paragraph 1 -> sentence 2
+ * MAIN LINK: expressions, constant-literals, boolean-literals -> paragraph 1 -> sentence 2
 * NUMBER: 10
 * DESCRIPTION: The use of Boolean literals as the identifier (with backtick) in the companionObject.
 * NOTE: this test data is generated by FeatureInteractionTestDataGenerator. DO NOT MODIFY CODE MANUALLY!
@@ -2,7 +2,7 @@
 * KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
 *
 * SPEC VERSION: 0.1-300
- * PLACE: expressions, constant-literals, boolean-literals -> paragraph 1 -> sentence 2
+ * MAIN LINK: expressions, constant-literals, boolean-literals -> paragraph 1 -> sentence 2
 * NUMBER: 11
 * DESCRIPTION: The use of Boolean literals as the identifier (with backtick) in the function.
 * NOTE: this test data is generated by FeatureInteractionTestDataGenerator. DO NOT MODIFY CODE MANUALLY!
@@ -2,7 +2,7 @@
 * KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
 *
 * SPEC VERSION: 0.1-300
- * PLACE: expressions, constant-literals, boolean-literals -> paragraph 1 -> sentence 2
+ * MAIN LINK: expressions, constant-literals, boolean-literals -> paragraph 1 -> sentence 2
 * NUMBER: 12
 * DESCRIPTION: The use of Boolean literals as the identifier (with backtick) in the setter.
 * NOTE: this test data is generated by FeatureInteractionTestDataGenerator. DO NOT MODIFY CODE MANUALLY!
@@ -2,7 +2,7 @@
 * KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
 *
 * SPEC VERSION: 0.1-300
- * PLACE: expressions, constant-literals, boolean-literals -> paragraph 1 -> sentence 2
+ * MAIN LINK: expressions, constant-literals, boolean-literals -> paragraph 1 -> sentence 2
 * NUMBER: 13
 * DESCRIPTION: The use of Boolean literals as the identifier (with backtick) in the simpleUserType.
 * NOTE: this test data is generated by FeatureInteractionTestDataGenerator. DO NOT MODIFY CODE MANUALLY!
@@ -2,7 +2,7 @@
 * KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
 *
 * SPEC VERSION: 0.1-300
- * PLACE: expressions, constant-literals, boolean-literals -> paragraph 1 -> sentence 2
+ * MAIN LINK: expressions, constant-literals, boolean-literals -> paragraph 1 -> sentence 2
 * NUMBER: 14
 * DESCRIPTION: The use of Boolean literals as the identifier (with backtick) in the typeParameter.
 * NOTE: this test data is generated by FeatureInteractionTestDataGenerator. DO NOT MODIFY CODE MANUALLY!
--- a/Show More
+++ b/Show More