Support several spec places to which tests are linked and require specify spec version for each test

2018-12-28 15:19:20 +03:00
parent cb5f497cbe
commit acd6d354dc
341 changed files with 736 additions and 1039 deletions
@@ -1,9 +1,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 11
- * SENTENCE: [1] It has an else entry;
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 11 -> sentence 1
 * NUMBER: 1
 * DESCRIPTION: Checking for not exhaustive when without bound value when there is no else branch.
 */
@@ -3,9 +3,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 11
- * SENTENCE: [1] It has an else entry;
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 11 -> sentence 1
 * NUMBER: 2
 * DESCRIPTION: Checking for not exhaustive when with bound value when there is no else branch.
 */
@@ -3,9 +3,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 11
- * SENTENCE: [3] The bound expression is of type kotlin.Boolean and the conditions contain both:
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 11 -> sentence 3
 * NUMBER: 1
 * DESCRIPTION: Checking for not exhaustive 'when' when not contains by all Boolean values or 'when' does not have bound value.
 */
@@ -4,9 +4,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 11
- * SENTENCE: [6] The bound expression is of a sealed class type and all its possible subtypes are covered using type test conditions of this expression;
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 11 -> sentence 6
 * NUMBER: 1
 * DESCRIPTION: Checking for not exhaustive 'when' when not covered by all possible subtypes or 'when' does not have bound value.
 */
@@ -4,9 +4,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 11
- * SENTENCE: [7] The bound expression is of an Enum classes type and all enumerated values are checked for equality using constant conditions;
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 11 -> sentence 7
 * NUMBER: 1
 * DESCRIPTION: Checking for not exhaustive when when not covered by all enumerated values.
 */
@@ -3,9 +3,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 11
- * SENTENCE: [8] The bound expression is of a nullable type and one of the areas above is met for its non-nullable counterpart and, in addition, there is a condition containing literal null.
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 11 -> sentence 8
 * NUMBER: 1
 * DESCRIPTION: Checking for not exhaustive 'when' on the nullable Boolean.
 */
@@ -4,9 +4,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 11
- * SENTENCE: [8] The bound expression is of a nullable type and one of the areas above is met for its non-nullable counterpart and, in addition, there is a condition containing literal null.
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 11 -> sentence 8
 * NUMBER: 2
 * DESCRIPTION: Checking for not exhaustive 'when' on the nullable sealed classes (and several checks for not sealed).
 */
@@ -4,9 +4,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 11
- * SENTENCE: [8] The bound expression is of a nullable type and one of the areas above is met for its non-nullable counterpart and, in addition, there is a condition containing literal null.
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 11 -> sentence 8
 * NUMBER: 3
 * DESCRIPTION: Checking for not exhaustive 'when' on the nullable enums.
 */
@@ -1,9 +1,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 11
- * SENTENCE: [1] It has an else entry;
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 11 -> sentence 1
 * NUMBER: 1
 * DESCRIPTION: Check when exhaustive via else entry (when without bound value).
 */
@@ -3,9 +3,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 11
- * SENTENCE: [1] It has an else entry;
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 11 -> sentence 1
 * NUMBER: 2
 * DESCRIPTION: Check when exhaustive via else entry (when with bound value).
 */
@@ -4,9 +4,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 11
- * SENTENCE: [1] It has an else entry;
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 11 -> sentence 1
 * NUMBER: 3
 * DESCRIPTION: Check when exhaustive via else entry (when with bound value, redundant else).
 */
@@ -1,9 +1,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 11
- * SENTENCE: [3] The bound expression is of type kotlin.Boolean and the conditions contain both:
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 11 -> sentence 3
 * NUMBER: 1
 * DESCRIPTION: Check when exhaustive via boolean bound value and evaluating to value true and false.
 */
@@ -4,9 +4,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 11
- * SENTENCE: [6] The bound valueession is of a sealed class type and all its possible subtypes are covered using type test conditions of this valueession;
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 11 -> sentence 6
 * NUMBER: 1
 * DESCRIPTION: Check when exhaustive when possible subtypes of the sealed class are covered.
 */
@@ -3,9 +3,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 11
- * SENTENCE: [7] The bound expression is of an Enum classes type and all enumerated values are checked for equality using constant conditions;
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 11 -> sentence 7
 * NUMBER: 1
 * DESCRIPTION: Check when exhaustive when all enumerated values are checked.
 */
@@ -1,9 +1,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 11
- * SENTENCE: [8] The bound expression is of a nullable type and one of the areas above is met for its non-nullable counterpart and, in addition, there is a condition containing literal null.
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 11 -> sentence 8
 * NUMBER: 1
 * DESCRIPTION: Check when exhaustive when boolean values are checked and contains a null check.
 */
@@ -3,9 +3,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 11
- * SENTENCE: [8] The bound expression is of a nullable type and one of the cases above is met for its non-nullable counterpart and, in addition, there is a condition containing literal null.
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 11 -> sentence 8
 * NUMBER: 2
 * DESCRIPTION: Check when exhaustive when enumerated values are checked and contains a null check.
 */
@@ -3,9 +3,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 11
- * SENTENCE: [8] The bound expression is of a nullable type and one of the areas above is met for its non-nullable counterpart and, in addition, there is a condition containing literal null.
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 11 -> sentence 8
 * NUMBER: 3
 * DESCRIPTION: Check when exhaustive when possible subtypes of the sealed class are covered and contains a null check.
 */
@@ -1,9 +1,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 2
- * SENTENCE: [3] When expression has two different forms: with bound value and without it.
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 2 -> sentence 3
 * NUMBER: 1
 * DESCRIPTION: Empty 'when' with bound value.
 */
@@ -1,9 +1,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 2
- * SENTENCE: [3] When expression has two different forms: with bound value and without it.
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 2 -> sentence 3
 * NUMBER: 2
 * DESCRIPTION: Empty 'when' without bound value.
 */
@@ -1,9 +1,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 3
- * SENTENCE: [1] When expression without bound value (the form where the expression enclosed in parantheses is absent) evaluates one of the many different expressions based on corresponding conditions present in the same when entry.
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 3 -> sentence 1
 * NUMBER: 1
 * DESCRIPTION: 'When' without bound value and not allowed break and continue expression (without labels) in the control structure body.
 */
@@ -3,9 +3,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 3
- * SENTENCE: [2] Each entry consists of a boolean condition (or a special else condition), each of which is checked and evaluated in order of appearance.
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 3 -> sentence 2
 * NUMBER: 1
 * DESCRIPTION: 'When' without bound value and with not boolean condition in 'when condition'.
 */
@@ -3,9 +3,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 3
- * SENTENCE: [2] Each entry consists of a boolean condition (or a special else condition), each of which is checked and evaluated in order of appearance.
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 3 -> sentence 2
 * NUMBER: 2
 * DESCRIPTION: 'When' without bound value and not allowed comma in when entry.
 */
@@ -6,9 +6,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 3
- * SENTENCE: [1] When expression without bound value (the form where the expression enclosed in parantheses is absent) evaluates one of the many different expressions based on corresponding conditions present in the same when entry.
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 3 -> sentence 1
 * NUMBER: 1
 * DESCRIPTION: 'When' without bound value and with different variants of expressions in the control structure body.
 */
@@ -5,9 +5,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 3
- * SENTENCE: [2] Each entry consists of a boolean condition (or a special else condition), each of which is checked and evaluated in order of appearance.
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 3 -> sentence 2
 * NUMBER: 1
 * DESCRIPTION: 'When' without bound value and different variants of the boolean conditions (logical, equality, comparison, type checking operator, containment operator).
 */
@@ -1,9 +1,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 3
- * SENTENCE: [2] Each entry consists of a boolean condition (or a special else condition), each of which is checked and evaluated in order of appearance.
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 3 -> sentence 2
 * NUMBER: 2
 * DESCRIPTION: 'When' without bound value and only one 'else' branch.
 */
@@ -3,9 +3,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 3
- * SENTENCE: [2] Each entry consists of a boolean condition (or a special else condition), each of which is checked and evaluated in order of appearance.
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 3 -> sentence 2
 * NUMBER: 3
 * DESCRIPTION: 'When' without bound value and with Nothing in condition (subtype of Boolean).
 * DISCUSSION
@@ -1,9 +1,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 5
- * SENTENCE: [1] The else entry is also special in the sense that it must be the last entry in the expression, otherwise a compiler error must be generated.
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 5 -> sentence 1
 * NUMBER: 1
 * DESCRIPTION: 'When' without bound value and with 'else' branch not in the last position.
 */
@@ -1,9 +1,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 5
- * SENTENCE: [1] The else entry is also special in the sense that it must be the last entry in the expression, otherwise a compiler error must be generated.
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 5 -> sentence 1
 * NUMBER: 1
 * DESCRIPTION: 'When' without bound value and with else branch in the last position.
 */
@@ -1,9 +1,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 6
- * SENTENCE: [1] When expression with bound value (the form where the expression enclosed in parantheses is present) are very similar to the form without bound value, but use different syntax for conditions.
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 6 -> sentence 1
 * NUMBER: 1
 * DESCRIPTION: 'When' with bound value and not allowed break and continue expression (without labels) in the control structure body.
 */
@@ -6,9 +6,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 6
- * SENTENCE: [1] When expression with bound value (the form where the expression enclosed in parantheses is present) are very similar to the form without bound value, but use different syntax for conditions.
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 6 -> sentence 1
 * NUMBER: 1
 * DESCRIPTION: 'When' with bound value and with different variants of expressions in the control structure body.
 */
@@ -3,9 +3,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 7
- * SENTENCE: [1] Type test condition: type checking operator followed by type.
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 7 -> sentence 1
 * NUMBER: 1
 * DESCRIPTION: 'When' with bound value and type test condition (without companion object in classes), but without type checking operator.
 */
@@ -3,9 +3,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 7
- * SENTENCE: [1] Type test condition: type checking operator followed by type.
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 7 -> sentence 1
 * NUMBER: 2
 * DESCRIPTION: 'When' with bound value and type test condition on the non-type operand of the type checking operator.
 */
@@ -3,9 +3,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 7
- * SENTENCE: [3] Contains test condition: containment operator followed by an expression.
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 7 -> sentence 3
 * NUMBER: 1
 * DESCRIPTION: 'When' with bound value and 'when condition' with range expression, but without containment checking operator.
 */
@@ -4,9 +4,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 7
- * SENTENCE: [3] Contains test condition: containment operator followed by an expression.
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 7 -> sentence 3
 * NUMBER: 2
 * DESCRIPTION: 'When' with bound value and 'when condition' with contains operator and type without defined contains operator.
 */
@@ -3,9 +3,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 7
- * SENTENCE: [5] Any other expression.
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 7 -> sentence 5
 * NUMBER: 1
 * DESCRIPTION: 'When' with bound value and non-expressions in 'when condition'.
 */
@@ -1,9 +1,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 7
- * SENTENCE: [5] Any other expression.
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 7 -> sentence 5
 * NUMBER: 2
 * DESCRIPTION: 'When' with bound value and not allowed break and continue expression (without labels) in 'when condition'.
 */
@@ -3,9 +3,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 7
- * SENTENCE: [7] The else condition, which works the exact same way as it would in the form without bound expression.
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 7 -> sentence 7
 * NUMBER: 1
 * DESCRIPTION: 'When' with bound value and with else branch not in the last position.
 */
@@ -4,9 +4,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 7
- * SENTENCE: [1] Type test condition: type checking operator followed by type.
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 7 -> sentence 1
 * NUMBER: 1
 * DESCRIPTION: 'When' with bound value and type test condition.
 */
@@ -5,9 +5,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 7
- * SENTENCE: [1] Type test condition: type checking operator followed by type.
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 7 -> sentence 1
 * NUMBER: 2
 * DESCRIPTION: 'When' with bound value and type test condition (invert type checking operator).
 */
@@ -5,9 +5,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 7
- * SENTENCE: [1] Type test condition: type checking operator followed by type.
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 7 -> sentence 1
 * NUMBER: 3
 * DESCRIPTION: 'When' with bound value and enumaration of type test conditions.
 */
@@ -3,9 +3,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 7
- * SENTENCE: [1] Type test condition: type checking operator followed by type.
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 7 -> sentence 1
 * NUMBER: 4
 * DESCRIPTION: 'When' with bound value and enumaration of type test conditions (with invert type checking operator).
 */
@@ -4,9 +4,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 7
- * SENTENCE: [3] Contains test condition: containment operator followed by an expression.
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 7 -> sentence 3
 * NUMBER: 1
 * DESCRIPTION: 'When' with bound value and containment operator.
 */
@@ -4,9 +4,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 7
- * SENTENCE: [3] Contains test condition: containment operator followed by an expression.
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 7 -> sentence 3
 * NUMBER: 2
 * DESCRIPTION: 'When' with bound value and enumeration of the containment operators.
 */
@@ -5,9 +5,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 7
- * SENTENCE: [5] Any other expression.
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 7 -> sentence 5
 * NUMBER: 1
 * DESCRIPTION: 'When' with enumeration of the different variants of expressions in 'when condition'.
 */
@@ -5,9 +5,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 7
- * SENTENCE: [5] Any other expression.
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 7 -> sentence 5
 * NUMBER: 2
 * DESCRIPTION: 'When' with different variants of the arithmetic expressions (additive expression and multiplicative expression) in 'when condition'.
 */
@@ -1,9 +1,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 7
- * SENTENCE: [7] The else condition, which works the exact same way as it would in the form without bound expression.
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 7 -> sentence 7
 * NUMBER: 1
 * DESCRIPTION: 'When' with bound value and else branch.
 */
@@ -4,9 +4,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 9
- * SENTENCE: [1] The type of the resulting expression is the least upper bound of the types of all the entries.
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 9 -> sentence 1
 * NUMBER: 1
 * DESCRIPTION: 'When' least upper bound of the types check (when exhaustive via else branch).
 */
@@ -5,9 +5,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 9
- * SENTENCE: [1] The type of the resulting expression is the least upper bound of the types of all the entries.
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 9 -> sentence 1
 * NUMBER: 2
 * DESCRIPTION: 'When' least upper bound of the types check (when exhaustive via enum).
 */
@@ -4,9 +4,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 9
- * SENTENCE: [1] The type of the resulting expression is the least upper bound of the types of all the entries.
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 9 -> sentence 1
 * NUMBER: 3
 * DESCRIPTION: 'When' least upper bound of the types check (when exhaustive via boolean bound value).
 */
@@ -5,9 +5,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 9
- * SENTENCE: [1] The type of the resulting expression is the least upper bound of the types of all the entries.
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 9 -> sentence 1
 * NUMBER: 4
 * DESCRIPTION: 'When' least upper bound of the types check (when exhaustive via sealed class).
 */
@@ -4,9 +4,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 9
- * SENTENCE: [1] The type of the resulting expression is the least upper bound of the types of all the entries.
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 9 -> sentence 1
 * NUMBER: 1
 * DESCRIPTION: 'When' least upper bound of the types check (when exhaustive via else branch).
 */
@@ -5,9 +5,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 9
- * SENTENCE: [1] The type of the resulting expression is the least upper bound of the types of all the entries.
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 9 -> sentence 1
 * NUMBER: 2
 * DESCRIPTION: 'When' least upper bound of the types check (when exhaustive via enum).
 */
@@ -4,9 +4,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 9
- * SENTENCE: [1] The type of the resulting expression is the least upper bound of the types of all the entries.
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 9 -> sentence 1
 * NUMBER: 3
 * DESCRIPTION: 'When' least upper bound of the types check (when exhaustive via boolean bound value).
 */
@@ -5,9 +5,8 @@
 /*
 * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
 *
- * SECTIONS: when-expression
- * PARAGRAPH: 9
- * SENTENCE: [1] The type of the resulting expression is the least upper bound of the types of all the entries.
+ * SPEC VERSION: 0.1-draft
+ * PLACE: when-expression -> paragraph 9 -> sentence 1
 * NUMBER: 4
 * DESCRIPTION: 'When' least upper bound of the types check (when exhaustive via sealed class).
 */