Switch kotlin version to 1.8

with appropriate fixes in testdata, tests and other
places.
This commit is contained in:
Ilya Chernikov
2022-06-09 17:07:50 +02:00
parent 7fa459044f
commit bb996c1b27
179 changed files with 1038 additions and 978 deletions
@@ -0,0 +1,13 @@
// SKIP_TXT
// TESTCASE NUMBER: 3
fun case_3(value_1: Boolean, value_2: Boolean, value_3: Long) {
<!NO_ELSE_IN_WHEN!>when<!> (value_1) {
value_2 -> {}
!value_2 -> {}
<!CONFUSING_BRANCH_CONDITION_ERROR!>getBoolean() && value_2<!> -> {}
<!CONFUSING_BRANCH_CONDITION_ERROR!>getChar() != 'a'<!> -> {}
<!CONFUSING_BRANCH_CONDITION_ERROR!>getList() === getAny()<!> -> {}
<!CONFUSING_BRANCH_CONDITION_ERROR!>value_3 <= 11<!> -> {}
}
}
@@ -0,0 +1,23 @@
// SKIP_TXT
/*
* KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
*
* SPEC VERSION: 0.1-435
* MAIN LINK: expressions, when-expression -> paragraph 6 -> sentence 5
* NUMBER: 1
* DESCRIPTION: 'When' with enumeration of the different variants of expressions in 'when condition'.
* HELPERS: typesProvider, classes, functions
*/
// TESTCASE NUMBER: 3
fun case_3(value_1: Boolean, value_2: Boolean, value_3: Long) {
<!NO_ELSE_IN_WHEN!>when<!> (value_1) {
value_2 -> {}
!value_2 -> {}
<!CONFUSING_BRANCH_CONDITION_ERROR!>getBoolean() && value_2<!> -> {}
<!CONFUSING_BRANCH_CONDITION_ERROR!>getChar() != 'a'<!> -> {}
<!CONFUSING_BRANCH_CONDITION_ERROR!>getList() === getAny()<!> -> {}
<!CONFUSING_BRANCH_CONDITION_ERROR!>value_3 <= 11<!> -> {}
}
}
@@ -0,0 +1,23 @@
// FIR_IDENTICAL
// LANGUAGE: +WarnAboutNonExhaustiveWhenOnAlgebraicTypes
// SKIP_TXT
/*
* KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
*
* SPEC VERSION: 0.1-435
* MAIN LINK: expressions, when-expression -> paragraph 6 -> sentence 5
* NUMBER: 2
* DESCRIPTION: 'When' with different variants of the arithmetic expressions (additive expression and multiplicative expression) in 'when condition'.
* HELPERS: typesProvider, classes, functions
*/
// TESTCASE NUMBER: 1
fun case_1(value_1: Boolean, value_2: Boolean, value_3: Long) {
when (value_1) {
value_2, !value_2, <!CONFUSING_BRANCH_CONDITION_ERROR!>getBoolean() && value_2<!>, <!CONFUSING_BRANCH_CONDITION_ERROR!>getChar() != 'a'<!> -> {}
<!CONFUSING_BRANCH_CONDITION_ERROR!>getList() === getAny()<!>, <!CONFUSING_BRANCH_CONDITION_ERROR!>value_3 <= 11<!> -> {}
else -> {}
}
}
@@ -27,10 +27,6 @@ fun case_3(value_1: Boolean, value_2: Boolean, value_3: Long) {
<!NO_ELSE_IN_WHEN!>when<!> (value_1) {
value_2 -> {}
!value_2 -> {}
<!CONFUSING_BRANCH_CONDITION_WARNING!>getBoolean() && value_2<!> -> {}
<!CONFUSING_BRANCH_CONDITION_WARNING!>getChar() != 'a'<!> -> {}
<!CONFUSING_BRANCH_CONDITION_WARNING!>getList() === getAny()<!> -> {}
<!CONFUSING_BRANCH_CONDITION_WARNING!>value_3 <= 11<!> -> {}
}
}
@@ -33,14 +33,10 @@ fun case_2(value_1: Number, value_2: Int) {
}
// TESTCASE NUMBER: 3
fun case_3(value_1: Boolean, value_2: Boolean, value_3: Long) {
fun case_3(value_1: Boolean, value_2: Boolean, <!UNUSED_PARAMETER!>value_3<!>: Long) {
when (value_1) {
value_2 -> {}
!value_2 -> {}
<!CONFUSING_BRANCH_CONDITION_WARNING!>getBoolean() && value_2<!> -> {}
<!CONFUSING_BRANCH_CONDITION_WARNING!>getChar() != 'a'<!> -> {}
<!CONFUSING_BRANCH_CONDITION_WARNING!>getList() === getAny()<!> -> {}
<!CONFUSING_BRANCH_CONDITION_WARNING!>value_3 <= 11<!> -> {}
else -> {}
}
}
@@ -16,14 +16,6 @@ fun case_2(value_1: Number, value_2: Int) {
}
}
// TESTCASE NUMBER: 3
fun case_3(value_1: Boolean, value_2: Boolean, value_3: Long) {
<!NO_ELSE_IN_WHEN!>when<!> (value_1) {
value_2, !value_2, <!CONFUSING_BRANCH_CONDITION_WARNING!>getBoolean() && value_2<!>, <!CONFUSING_BRANCH_CONDITION_WARNING!>getChar() != 'a'<!> -> {}
<!CONFUSING_BRANCH_CONDITION_WARNING!>getList() === getAny()<!>, <!CONFUSING_BRANCH_CONDITION_WARNING!>value_3 <= 11<!> -> {}
}
}
// TESTCASE NUMBER: 4
fun case_4(value_1: String, value_2: String, value_3: String) {
when (value_1) {
@@ -26,15 +26,6 @@ fun case_2(value_1: Number, value_2: Int) {
}
}
// TESTCASE NUMBER: 3
fun case_3(value_1: Boolean, value_2: Boolean, value_3: Long) {
when (value_1) {
value_2, !value_2, <!CONFUSING_BRANCH_CONDITION_WARNING!>getBoolean() && value_2<!>, <!CONFUSING_BRANCH_CONDITION_WARNING!>getChar() != 'a'<!> -> {}
<!CONFUSING_BRANCH_CONDITION_WARNING!>getList() === getAny()<!>, <!CONFUSING_BRANCH_CONDITION_WARNING!>value_3 <= 11<!> -> {}
else -> {}
}
}
// TESTCASE NUMBER: 4
fun case_4(value_1: String, value_2: String, value_3: String) {
when (value_1) {