[Spec tests] Remove spec info from fir tests

2020-05-25 22:02:58 +03:00
parent 5ba9d09278
commit 9d862aaa1d
391 changed files with 0 additions and 3742 deletions
@@ -1,14 +1,6 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
 // !WITH_NEW_INFERENCE

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, analysis, common
- * NUMBER: 1
- * DESCRIPTION: Analysis by contracts with mixed CallsInPlace and Returns effects.
- */
-
 // FILE: contracts.kt

 package contracts
@@ -1,13 +1,5 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (POSITIVE)
- *
- * SECTIONS: contracts, analysis, common
- * NUMBER: 1
- * DESCRIPTION: Analysis by contracts with mixed CallsInPlace and Returns effects.
- */
-
 // FILE: contracts.kt

 package contracts
@@ -1,15 +1,6 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
 // SKIP_TXT

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, analysis, controlFlow, initialization
- * NUMBER: 1
- * DESCRIPTION: val/var reassignment and/or uninitialized variable usages based on CallsInPlace effect with wrong invocation kind
- * HELPERS: contractFunctions
- */
-
 // TESTCASE NUMBER: 1
 fun case_1() {
    val value_1: Int
@@ -1,15 +1,6 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
 // SKIP_TXT

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, analysis, controlFlow, initialization
- * NUMBER: 2
- * DESCRIPTION: val/var reassignment and/or uninitialized variable usages based on nested CallsInPlace effects with wrong invocation kind
- * HELPERS: contractFunctions
- */
-
 // TESTCASE NUMBER: 1
 fun case_1() {
    val value_1: Int
@@ -1,15 +1,6 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
 // SKIP_TXT

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, analysis, controlFlow, initialization
- * NUMBER: 3
- * DESCRIPTION: val/var reassignment and/or uninitialized variable usages with compelx control flow inside/outside lambda of contract function with CallsInPlace effect
- * HELPERS: enumClasses, contractFunctions
- */
-
 // TESTCASE NUMBER: 1
 fun case_1(value_1: EnumClass?) {
    val value_2: Int
@@ -1,15 +1,6 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
 // SKIP_TXT

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, analysis, controlFlow, initialization
- * NUMBER: 4
- * DESCRIPTION: CallsInPlace contract functions with name shadowing and wrong invocation kind
- * HELPERS: contractFunctions
- */
-
 // TESTCASE NUMBER: 1
 fun case_1() {
    val value_1: Int
@@ -1,15 +1,6 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
 // SKIP_TXT

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, analysis, controlFlow, initialization
- * NUMBER: 5
- * DESCRIPTION: CallsInPlace contract functions with invalid lambda passing to function parameter.
- * HELPERS: contractFunctions
- */
-
 // TESTCASE NUMBER: 1
 fun case_1() {
    val value_1: Int
@@ -1,17 +1,6 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
 // SKIP_TXT

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, analysis, controlFlow, initialization
- * NUMBER: 6
- * DESCRIPTION: Check the lack of CallsInPlace effect on the lambda in the parentheses.
- * UNEXPECTED BEHAVIOUR
- * ISSUES: KT-26229
- * HELPERS: contractFunctions
- */
-
 // TESTCASE NUMBER: 1
 fun case_1() {
    val value_1: Int
@@ -1,15 +1,6 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
 // SKIP_TXT

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (POSITIVE)
- *
- * SECTIONS: contracts, analysis, controlFlow, initialization
- * NUMBER: 3
- * DESCRIPTION: val/var assignments or subsequent usages with compelx control flow inside/outside lambda of contract function with CallsInPlace effect
- * HELPERS: enumClasses, contractFunctions
- */
-
 // TESTCASE NUMBER: 1
 fun case_1(value_1: EnumClass?) {
    val value_2: Int
@@ -1,15 +1,6 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
 // SKIP_TXT

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (POSITIVE)
- *
- * SECTIONS: contracts, analysis, controlFlow, initialization
- * NUMBER: 4
- * DESCRIPTION: CallsInPlace contract functions with name shadowing
- * HELPERS: contractFunctions
- */
-
 // TESTCASE NUMBER: 1
 fun case_1() {
    val value_1: Int
@@ -1,16 +1,5 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (POSITIVE)
- *
- * SECTIONS: contracts, analysis, controlFlow, initialization
- * NUMBER: 6
- * DESCRIPTION: Check the lack of CallsInPlace effect on the lambda in the parentheses.
- * UNEXPECTED BEHAVIOUR
- * ISSUES: KT-26229
- * HELPERS: contractFunctions
- */
-
 // FILE: contracts.kt

 package contracts
@@ -1,15 +1,6 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
 // SKIP_TXT

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, analysis, controlFlow, unreachableCode
- * NUMBER: 1
- * DESCRIPTION: Using not allowed break and continue inside lambda of contract function
- * HELPERS: contractFunctions
- */
-
 // TESTCASE NUMBER: 1
 fun case_1(value_1: Boolean) {
    while (value_1) {
@@ -2,15 +2,6 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
 // SKIP_TXT

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (POSITIVE)
- *
- * SECTIONS: contracts, analysis, controlFlow, unreachableCode
- * NUMBER: 1
- * DESCRIPTION: Unreachable code detection using contract function with CallsInPlace effect
- * HELPERS: contractFunctions
- */
-
 // TESTCASE NUMBER: 1
 fun case_1() {
    funWithExactlyOnceCallsInPlace {
@@ -1,15 +1,6 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
 // SKIP_TXT

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (POSITIVE)
- *
- * SECTIONS: contracts, analysis, controlFlow, unreachableCode
- * NUMBER: 3
- * DESCRIPTION: Unreachable code detection using local functions or labdas combined with contract functions with CallsInPlace effect
- * HELPERS: contractFunctions
- */
-
 // TESTCASE NUMBER: 1
 fun case_1() {
    funWithExactlyOnceCallsInPlace {
@@ -1,15 +1,6 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
 // SKIP_TXT

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (POSITIVE)
- *
- * SECTIONS: contracts, analysis, controlFlow, unreachableCode
- * NUMBER: 4
- * DESCRIPTION: Unreachable code detection using nested contract functions with CallsInPlace effect
- * HELPERS: contractFunctions
- */
-
 // TESTCASE NUMBER: 1
 fun case_1() {
    funWithExactlyOnceCallsInPlace {
@@ -1,15 +1,6 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
 // SKIP_TXT

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (POSITIVE)
- *
- * SECTIONS: contracts, analysis, controlFlow, unreachableCode
- * NUMBER: 5
- * DESCRIPTION: Unreachable code detection using contract functions with complex control flow inside
- * HELPERS: contractFunctions
- */
-
 // TESTCASE NUMBER: 1
 fun case_1(b: Boolean?) {
    funWithExactlyOnceCallsInPlace {
@@ -1,15 +1,6 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
 // SKIP_TXT

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (POSITIVE)
- *
- * SECTIONS: contracts, analysis, controlFlow, unreachableCode
- * NUMBER: 6
- * DESCRIPTION: Check for lack of unreachable code report when in complex control flow of contract function lambda not all branches are doing non-local return
- * HELPERS: contractFunctions
- */
-
 // TESTCASE NUMBER: 1
 fun case_1(b: Boolean?, c: Boolean) {
    funWithExactlyOnceCallsInPlace {
@@ -1,14 +1,5 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (POSITIVE)
- *
- * SECTIONS: contracts, analysis, controlFlow, unreachableCode
- * NUMBER: 7
- * DESCRIPTION: Smart initialization with correspond contract function with default value before lambda.
- * ISSUES: KT-26444
- */
-
 // FILE: contracts.kt

 package contracts
@@ -2,15 +2,6 @@
 // !WITH_NEW_INFERENCE
 // SKIP_TXT

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, analysis, smartcasts
- * NUMBER: 1
- * DESCRIPTION: Smartcasts using Returns effects with simple type checking, not-null conditions and custom condition (condition for smartcast outside contract).
- * HELPERS: contractFunctions
- */
-
 // TESTCASE NUMBER: 1
 fun case_1(value_1: Any?) {
    funWithReturns(value_1 !is String)
@@ -1,16 +1,6 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
 // !WITH_NEW_INFERENCE

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, analysis, smartcasts
- * NUMBER: 10
- * DESCRIPTION: Check smartcasts using double negation (returnsFalse/invert type checking/not operator).
- * ISSUES: KT-26176
- * HELPERS: contractFunctions
- */
-
 // FILE: contracts.kt

 package contracts
@@ -1,14 +1,5 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, analysis, smartcasts
- * NUMBER: 11
- * DESCRIPTION: Smartcast using many of the various Returns effects on the same values.
- * HELPERS: contractFunctions
- */
-
 // FILE: contracts.kt

 package contracts
@@ -1,15 +1,5 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, analysis, smartcasts
- * NUMBER: 12
- * DESCRIPTION: Check smartcast to upper bound of the types in disjunction.
- * UNEXPECTED BEHAVIOUR
- * ISSUES: KT-1982
- */
-
 // FILE: contracts.kt

 package contracts
@@ -1,14 +1,5 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, analysis, smartcasts
- * NUMBER: 13
- * DESCRIPTION: Smartcast using many of the various Returns effects on the same values.
- * HELPERS: contractFunctions
- */
-
 // FILE: contracts.kt

 package contracts
@@ -1,14 +1,5 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, analysis, smartcasts
- * NUMBER: 14
- * DESCRIPTION: Smartcast using many of the various Returns effects on the same values.
- * HELPERS: contractFunctions
- */
-
 // FILE: contracts.kt

 package contracts
@@ -1,16 +1,6 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
 // !WITH_NEW_INFERENCE

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, analysis, smartcasts
- * NUMBER: 15
- * DESCRIPTION: Check smartcasts working if type checking for contract function is used
- * ISSUES: KT-27241
- * HELPERS: contractFunctions
- */
-
 // FILE: contracts.kt

 package contracts
@@ -2,15 +2,6 @@
 // !WITH_NEW_INFERENCE
 // SKIP_TXT

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, analysis, smartcasts
- * NUMBER: 2
- * DESCRIPTION: Smartcasts using Returns effects with complex (conjunction/disjunction) type checking and not-null conditions outside contract (custom condition).
- * HELPERS: contractFunctions
- */
-
 // TESTCASE NUMBER: 1
 fun case_1(value_1: Any?, value_2: Any?) {
    funWithReturns(value_1 !is String || value_2 !is Number)
@@ -1,13 +1,5 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, analysis, smartcasts
- * NUMBER: 3
- * DESCRIPTION: Smartcasts using Returns effects with complex (conjunction/disjunction) type checking and not-null conditions inside contract.
- */
-
 // FILE: contracts.kt

 package contracts
@@ -1,14 +1,6 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
 // !WITH_NEW_INFERENCE

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, analysis, smartcasts
- * NUMBER: 4
- * DESCRIPTION: Smartcasts using Returns effects with simple type checking and not-null conditions on receiver inside contract.
- */
-
 // FILE: contracts.kt

 package contracts
@@ -1,14 +1,6 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
 // !WITH_NEW_INFERENCE

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, analysis, smartcasts
- * NUMBER: 5
- * DESCRIPTION: Smartcasts using Returns effects with complex (conjunction/disjunction) type checking and not-null conditions on receiver inside contract.
- */
-
 // FILE: contracts.kt

 package contracts
@@ -1,14 +1,6 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
 // !WITH_NEW_INFERENCE

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, analysis, smartcasts
- * NUMBER: 6
- * DESCRIPTION: Smartcasts using Returns effects with complex (conjunction/disjunction) type checking and not-null conditions on receiver and some values (mixed) inside contract.
- */
-
 // FILE: contracts.kt

 package contracts
@@ -1,14 +1,6 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
 // !WITH_NEW_INFERENCE

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, analysis, smartcasts
- * NUMBER: 7
- * DESCRIPTION: Smartcasts using Returns effects with nested or subsequent contract function calls.
- */
-
 // FILE: contracts.kt

 package contracts
@@ -1,15 +1,6 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
 // !WITH_NEW_INFERENCE

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, analysis, smartcasts
- * NUMBER: 8
- * DESCRIPTION: Smartcasts using some Returns effects.
- * HELPERS: contractFunctions
- */
-
 // FILE: contracts.kt

 package contracts
@@ -1,15 +1,6 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
 // SKIP_TXT

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, analysis, smartcasts
- * NUMBER: 9
- * DESCRIPTION: Check the lack of smartcasts after non-null assertions or not-null value assignment in lambdas of contract function with 'unknown' or 'at most once' CallsInPlace effects.
- * HELPERS: contractFunctions
- */
-
 // TESTCASE NUMBER: 1
 fun case_1(arg: Int?) {
    funWithAtMostOnceCallsInPlace { arg!! }
@@ -1,15 +1,6 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
 // SKIP_TXT

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (POSITIVE)
- *
- * SECTIONS: contracts, analysis, smartcasts
- * NUMBER: 1
- * DESCRIPTION: Smartcasts using Returns effects with simple type checking, not-null conditions and custom condition (condition for smartcast outside contract).
- * HELPERS: contractFunctions
- */
-
 // TESTCASE NUMBER: 1
 fun case_1(value_1: Any?) {
    funWithReturns(value_1 is String)
@@ -1,16 +1,6 @@
 // !DIAGNOSTICS: -UNUSED_PARAMETER
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (POSITIVE)
- *
- * SECTIONS: contracts, analysis, smartcasts
- * NUMBER: 10
- * DESCRIPTION: Smartcasts with correspond contract function with default value in last parameter.
- * ISSUES: KT-26444
- * HELPERS: contractFunctions
- */
-
 // FILE: contracts.kt

 package contracts
@@ -1,15 +1,5 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (POSITIVE)
- *
- * SECTIONS: contracts, analysis, smartcasts
- * NUMBER: 11
- * DESCRIPTION: Check smartcasts with passing same fields of instances of the same class in contract function with conjunction not-null condition.
- * ISSUES: KT-26300
- * HELPERS: contractFunctions
- */
-
 // FILE: contracts.kt

 package contracts
@@ -1,17 +1,6 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
 // SKIP_TXT

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (POSITIVE)
- *
- * SECTIONS: contracts, analysis, smartcasts
- * NUMBER: 12
- * DESCRIPTION: Smartcasts after non-null assertions or not-null value assignment in lambdas of contract function with 'exactly once' or 'at least once' CallsInPlace effects.
- * UNEXPECTED BEHAVIOUR
- * ISSUES: KT-26148
- * HELPERS: contractFunctions
- */
-
 // TESTCASE NUMBER: 1
 fun case_1(arg: Int?) {
    funWithExactlyOnceCallsInPlace { arg!! }
@@ -1,15 +1,5 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (POSITIVE)
- *
- * SECTIONS: contracts, analysis, smartcasts
- * NUMBER: 13
- * DESCRIPTION: Check smartcast to upper bound of the types in disjunction.
- * UNEXPECTED BEHAVIOUR
- * ISSUES: KT-1982
- */
-
 // FILE: contracts.kt

 package contracts
@@ -1,15 +1,5 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (POSITIVE)
- *
- * SECTIONS: contracts, analysis, smartcasts
- * NUMBER: 14
- * DESCRIPTION: Check smartcast with non-null assertion for a contract function.
- * UNEXPECTED BEHAVIOUR
- * ISSUES: KT-26856
- */
-
 // FILE: contracts.kt

 package contracts
@@ -2,15 +2,6 @@
 // !WITH_NEW_INFERENCE
 // SKIP_TXT

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (POSITIVE)
- *
- * SECTIONS: contracts, analysis, smartcasts
- * NUMBER: 2
- * DESCRIPTION: Smartcasts using Returns effects with complex (conjunction/disjunction) type checking and not-null conditions outside contract (custom condition).
- * HELPERS: contractFunctions
- */
-
 // TESTCASE NUMBER: 1
 fun case_1(value_1: Any?, value_2: Any?) {
    funWithReturns(value_1 is String && value_2 is Number)
@@ -1,13 +1,5 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (POSITIVE)
- *
- * SECTIONS: contracts, analysis, smartcasts
- * NUMBER: 3
- * DESCRIPTION: Smartcasts using Returns effects with complex (conjunction/disjunction) type checking and not-null conditions inside contract.
- */
-
 // FILE: contracts.kt

 package contracts
@@ -1,14 +1,6 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
 // !WITH_NEW_INFERENCE

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (POSITIVE)
- *
- * SECTIONS: contracts, analysis, smartcasts
- * NUMBER: 4
- * DESCRIPTION: Smartcasts using Returns effects with simple type checking and not-null conditions on receiver inside contract.
- */
-
 // FILE: contracts.kt

 package contracts
@@ -1,13 +1,5 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (POSITIVE)
- *
- * SECTIONS: contracts, analysis, smartcasts
- * NUMBER: 5
- * DESCRIPTION: Smartcasts using Returns effects with complex (conjunction/disjunction) type checking and not-null conditions on receiver inside contract.
- */
-
 // FILE: contracts.kt

 package contracts
@@ -1,13 +1,5 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (POSITIVE)
- *
- * SECTIONS: contracts, analysis, smartcasts
- * NUMBER: 6
- * DESCRIPTION: Smartcasts using Returns effects with complex (conjunction/disjunction) type checking and not-null conditions on receiver and some values (mixed) inside contract.
- */
-
 // FILE: contracts.kt

 package contracts
@@ -1,13 +1,5 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (POSITIVE)
- *
- * SECTIONS: contracts, analysis, smartcasts
- * NUMBER: 7
- * DESCRIPTION: Smartcasts using Returns effects with nested or subsequent contract function calls.
- */
-
 // FILE: contracts.kt

 package contracts
@@ -1,15 +1,6 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
 // !WITH_NEW_INFERENCE

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (POSITIVE)
- *
- * SECTIONS: contracts, analysis, smartcasts
- * NUMBER: 8
- * DESCRIPTION: Smartcasts using some Returns effects.
- * HELPERS: contractFunctions
- */
-
 // FILE: contracts.kt

 package contracts
@@ -1,14 +1,5 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (POSITIVE)
- *
- * SECTIONS: contracts, analysis, smartcasts
- * NUMBER: 9
- * DESCRIPTION: Smartcast using complex condition with some contract functions (Returns effect).
- * HELPERS: typesProvider, contractFunctions
- */
-
 // FILE: contracts.kt

 package contracts
@@ -1,14 +1,6 @@
 // !DIAGNOSTICS: -UNUSED_VARIABLE -UNUSED_PARAMETER -UNREACHABLE_CODE -UNUSED_EXPRESSION
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, declarations, contractBuilder, common
- * NUMBER: 1
- * DESCRIPTION: Contract isn't first statement.
- */
-
 import kotlin.contracts.*

 // TESTCASE NUMBER: 1
@@ -1,14 +1,5 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, declarations, contractBuilder, common
- * NUMBER: 10
- * DESCRIPTION: Contract with label after 'contract' keyword.
- * ISSUES: KT-26153
- */
-
 import kotlin.contracts.*

 // TESTCASE NUMBER: 1
@@ -1,14 +1,5 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, declarations, contractBuilder, common
- * NUMBER: 11
- * DESCRIPTION: Functions with contracts and external contract builder.
- * ISSUES: KT-26186
- */
-
 // FILE: builder.kt

 package builder
@@ -1,14 +1,5 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, declarations, contractBuilder, common
- * NUMBER: 12
- * DESCRIPTION: Functions with contracts and external effect builder.
- * ISSUES: KT-26186
- */
-
 // FILE: builder.kt

 package builder
@@ -1,15 +1,6 @@
 // !DIAGNOSTICS: -UNUSED_VARIABLE -UNUSED_PARAMETER -UNREACHABLE_CODE -UNUSED_EXPRESSION
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, declarations, contractBuilder, common
- * NUMBER: 13
- * DESCRIPTION: Contract function with CallsInPlace effect with not allowed implies.
- * ISSUES: KT-26409
- */
-
 import kotlin.contracts.*

 // TESTCASE NUMBER: 1
@@ -1,16 +1,6 @@
 // !DIAGNOSTICS: -UNUSED_VARIABLE
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, declarations, contractBuilder, common
- * NUMBER: 14
- * DESCRIPTION: Contract is first statement in control flow terms, but not in tokens order terms.
- * ISSUES: KT-26153
- * HELPERS: functions
- */
-
 import kotlin.contracts.*

 // TESTCASE NUMBER: 1
@@ -1,15 +1,6 @@
 // !DIAGNOSTICS: -UNUSED_VARIABLE
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, declarations, contractBuilder, common
- * NUMBER: 16
- * DESCRIPTION: Contract isn't in the first position.
- * ISSUES: KT-26191
- */
-
 import kotlin.contracts.*

 // TESTCASE NUMBER: 1
@@ -2,16 +2,6 @@
 // !DIAGNOSTICS: -UNUSED_VARIABLE -UNUSED_PARAMETER -UNREACHABLE_CODE -UNUSED_EXPRESSION
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, declarations, contractBuilder, common
- * NUMBER: 17
- * DESCRIPTION: contracts with Nothing expressions in implies.
- * DISCUSSION
- * ISSUES: KT-25948
- */
-
 import kotlin.contracts.*

 // TESTCASE NUMBER: 1
@@ -1,14 +1,6 @@
 // !DIAGNOSTICS: -UNUSED_VARIABLE -UNUSED_PARAMETER -UNREACHABLE_CODE -UNUSED_EXPRESSION
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, declarations, contractBuilder, common
- * NUMBER: 2
- * DESCRIPTION: contracts with not allowed simple conditions in implies
- */
-
 import kotlin.contracts.*

 // TESTCASE NUMBER: 1
@@ -1,14 +1,6 @@
 // !DIAGNOSTICS: -UNUSED_VARIABLE -UNUSED_PARAMETER -UNREACHABLE_CODE -UNUSED_EXPRESSION
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, declarations, contractBuilder, common
- * NUMBER: 3
- * DESCRIPTION: contracts with not allowed complex conditions in implies.
- */
-
 import kotlin.contracts.*

 // TESTCASE NUMBER: 1
@@ -2,14 +2,6 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
 // !WITH_NEW_INFERENCE

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, declarations, contractBuilder, common
- * NUMBER: 4
- * DESCRIPTION: contracts with not allowed conditions with constants in implies.
- */
-
 import kotlin.contracts.*

 // TESTCASE NUMBER: 1
@@ -2,14 +2,6 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
 // !WITH_NEW_INFERENCE

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, declarations, contractBuilder, common
- * NUMBER: 5
- * DESCRIPTION: contracts with not allowed expressions in implies.
- */
-
 import kotlin.contracts.*

 // TESTCASE NUMBER: 1
@@ -2,15 +2,6 @@
 // !DIAGNOSTICS: -UNUSED_VARIABLE -UNUSED_PARAMETER -UNREACHABLE_CODE -UNUSED_EXPRESSION
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, declarations, contractBuilder, common
- * NUMBER: 6
- * DESCRIPTION: contracts with not function parameters in implies.
- * HELPERS: typesProvider
- */
-
 import kotlin.contracts.*

 // TESTCASE NUMBER: 1
@@ -1,16 +1,6 @@
 // !DIAGNOSTICS: -UNUSED_VARIABLE -UNUSED_PARAMETER -UNREACHABLE_CODE -UNUSED_EXPRESSION
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, declarations, contractBuilder, common
- * NUMBER: 7
- * DESCRIPTION: Contract function with 'this' labeled by not current extensible object
- * ISSUES: KT-26149
- * HELPERS: typesProvider
- */
-
 import kotlin.contracts.*

 // TESTCASE NUMBER: 1
@@ -1,14 +1,6 @@
 // !DIAGNOSTICS: -UNUSED_VARIABLE -UNUSED_PARAMETER -UNREACHABLE_CODE -UNUSED_EXPRESSION
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, declarations, contractBuilder, common
- * NUMBER: 8
- * DESCRIPTION: Not allowed empty contract.
- */
-
 import kotlin.contracts.*

 // TESTCASE NUMBER: 1
@@ -1,14 +1,6 @@
 // !DIAGNOSTICS: -UNUSED_VARIABLE -UNUSED_PARAMETER -UNREACHABLE_CODE -UNUSED_EXPRESSION
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, declarations, contractBuilder, common
- * NUMBER: 9
- * DESCRIPTION: Function with contract as returned expression.
- */
-
 import kotlin.contracts.*

 // TESTCASE NUMBER: 1
@@ -1,14 +1,5 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, declarations, contractBuilder, effects, callsInPlace
- * NUMBER: 1
- * DESCRIPTION: contract functions with CallsInPlace with dynamic InvocationKind.
- * ISSUES: KT-26152
- */
-
 import kotlin.contracts.*

 // TESTCASE NUMBER: 1, 2, 3, 4
@@ -1,14 +1,5 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, declarations, contractBuilder, effects, callsInPlace
- * NUMBER: 2
- * DESCRIPTION: functions with contract and duplicate CallsInPlace.
- * ISSUES: KT-26150
- */
-
 import kotlin.contracts.*

 // TESTCASE NUMBER: 1
@@ -1,15 +1,6 @@
 // !DIAGNOSTICS: -UNUSED_VARIABLE
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, declarations, contractBuilder, effects, common
- * NUMBER: 1
- * DESCRIPTION: Indirect effect functions call.
- * ISSUES: KT-26175
- */
-
 import kotlin.contracts.*

 // TESTCASE NUMBER: 1
@@ -1,14 +1,5 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, declarations, contractBuilder, effects, returns
- * NUMBER: 1
- * DESCRIPTION: Using equality with expressions in implies.
- * ISSUES: KT-26178
- */
-
 import kotlin.contracts.*

 // TESTCASE NUMBER: 1
@@ -1,13 +1,5 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, declarations, contractBuilder, effects, returns
- * NUMBER: 2
- * DESCRIPTION: Using equality with not labeled 'this' in implies.
- */
-
 import kotlin.contracts.*

 // TESTCASE NUMBER: 1
@@ -1,15 +1,5 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, declarations, contractBuilder, effects, returns
- * NUMBER: 3
- * DESCRIPTION: Using reference equality in implies.
- * ISSUES: KT-26177
- * HELPERS: objects
- */
-
 import kotlin.contracts.*

 // TESTCASE NUMBER: 1
@@ -1,14 +1,5 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, declarations, contractBuilder, effects, returns
- * NUMBER: 4
- * DESCRIPTION: Using equality with literals in implies.
- * ISSUES: KT-26178
- */
-
 import kotlin.contracts.*

 // TESTCASE NUMBER: 1
@@ -1,14 +1,5 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, declarations, contractBuilder, effects, returns
- * NUMBER: 5
- * DESCRIPTION: Contract on the extension function with Boolean upper bound (Boolean or Nothing) or smartcast to Boolean.
- * DISCUSSION
- */
-
 import kotlin.contracts.*

 // TESTCASE NUMBER: 1
@@ -1,13 +1,5 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, declarations, contractBuilder, effects, returns
- * NUMBER: 6
- * DESCRIPTION: Contract on the extension function with smartcast to Boolean.
- */
-
 import kotlin.contracts.*

 // TESTCASE NUMBER: 1
@@ -1,15 +1,6 @@
 // !LANGUAGE: +AllowContractsForNonOverridableMembers +AllowReifiedGenericsInContracts
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, declarations, contractBuilder, effects, returns
- * NUMBER: 7
- * DESCRIPTION: Returns effect with type checking with generic parameter
- * ISSUES: KT-26296
- */
-
 import kotlin.contracts.*

 // TESTCASE NUMBER: 1
@@ -1,15 +1,6 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
 // !DIAGNOSTICS: -FINAL_UPPER_BOUND

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (POSITIVE)
- *
- * SECTIONS: contracts, declarations, contractBuilder, effects, returns
- * NUMBER: 1
- * DESCRIPTION: Returns effect with simple conditions.
- * HELPERS: classes
- */
-
 import kotlin.contracts.*

 // TESTCASE NUMBER: 1
@@ -1,13 +1,5 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, declarations, contractFunction
- * NUMBER: 1
- * DESCRIPTION: Check that recursion isn't allowed in contract functions with CallsInPlace effect.
- */
-
 import kotlin.contracts.*

 // TESTCASE NUMBER: 1
@@ -1,16 +1,6 @@
 // !LANGUAGE: +AllowContractsForNonOverridableMembers +AllowReifiedGenericsInContracts
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, declarations, contractFunction
- * NUMBER: 2
- * DESCRIPTION: Check report about use contracts in literal functions, lambdas or not top-level functions.
- * ISSUES: KT-26149
- * HELPERS: classes
- */
-
 import kotlin.contracts.*

 // TESTCASE NUMBER: 1
@@ -1,15 +1,6 @@
 // !DIAGNOSTICS: -UNUSED_PARAMETER
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
- *
- * SECTIONS: contracts, declarations, contractFunction
- * NUMBER: 4
- * DESCRIPTION: Check that fun with contract and CallsInPlace effect is an inline function.
- * ISSUES: KT-27090
- */
-
 import kotlin.contracts.*

 // TESTCASE NUMBER: 1
@@ -1,13 +1,5 @@
 // !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts

-/*
- * KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (POSITIVE)
- *
- * SECTIONS: contracts, declarations, contractFunction
- * NUMBER: 1
- * DESCRIPTION: Use a contract function before the declaration it.
- */
-
 import kotlin.contracts.*

 // TESTCASE NUMBER: 1