azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[Spec tests] Link diagnostic tests for when expression with Kotlin specification

Browse Source
This commit is contained in:
victor.petukhov
2019-09-04 18:42:50 +03:00
committed by Victor Petukhov
parent c338fdd677
commit 2dbce2cc41
88 changed files with 2760 additions and 32 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/testData/diagnostics/tests/when/AnnotatedWhenStatement.kt
Vendored
+7
View File
@@ -1,4 +1,11 @@
// FIR_IDENTICAL
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: pos):
* - expressions, when-expression -> paragraph 9 -> sentence 2
* - 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
when (a) {
compiler/testData/diagnostics/tests/when/BranchBypassVal.kt
Vendored
+8
View File
@@ -1,4 +1,12 @@
// !WITH_NEW_INFERENCE
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: neg):
* - expressions, when-expression, exhaustive-when-expressions -> paragraph 1 -> sentence 1
* - expressions, when-expression -> paragraph 6 -> sentence 1
* - 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
fun test(a: Any): String {
compiler/testData/diagnostics/tests/when/BranchBypassVar.kt
Vendored
+8
View File
@@ -1,4 +1,12 @@
// !WITH_NEW_INFERENCE
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: neg):
* - expressions, when-expression, exhaustive-when-expressions -> paragraph 1 -> sentence 1
* - expressions, when-expression -> paragraph 6 -> sentence 1
* - 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
fun test(a: Any) {
compiler/testData/diagnostics/tests/when/BranchFalseBypass.kt
Vendored
+9 -1
View File
@@ -1,3 +1,11 @@
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: pos):
* - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9
* - expressions, when-expression -> paragraph 6 -> sentence 1
* - 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 }
fun test(a: My): String {
@@ -7,6 +15,6 @@ fun test(a: My): String {
My.A -> q = "1"
My.B -> q = "2"
}<!>
// When is exhaustive
// When is exhaustives
return <!DEBUG_INFO_SMARTCAST!>q<!>
}
compiler/testData/diagnostics/tests/when/BranchFalseBypassElse.kt
Vendored
+9 -1
View File
@@ -1,3 +1,11 @@
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: pos):
* - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 1
* - expressions, when-expression -> paragraph 6 -> sentence 1
* - 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
fun test(a: Any): String {
@@ -7,6 +15,6 @@ fun test(a: Any): String {
is A -> q = "1"
else -> q = "2"
}
// When is not exhaustive
// When is exhaustives
return <!DEBUG_INFO_SMARTCAST!>q<!>
}
compiler/testData/diagnostics/tests/when/CommaInWhenConditionWithoutArgument.kt
Vendored
+5
View File
@@ -1,3 +1,8 @@
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: pos):
* - expressions, when-expression -> paragraph 2 -> sentence 1
* - expressions, when-expression -> paragraph 5 -> sentence 1
*/
fun foo(x: Int, y: Int): Int =
when {
x > 0<!COMMA_IN_WHEN_CONDITION_WITHOUT_ARGUMENT!>,<!> y > 0<!COMMA_IN_WHEN_CONDITION_WITHOUT_ARGUMENT!>,<!><!SYNTAX!>,<!> x < 0 -> 1
compiler/testData/diagnostics/tests/when/DuplicatedLabels.kt
Vendored
+8
View File
@@ -1,3 +1,11 @@
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: pos):
* - expressions, when-expression -> paragraph 5 -> sentence 1
* - expressions, when-expression -> paragraph 9 -> sentence 1
* - expressions, when-expression -> paragraph 2 -> sentence 4
* - expressions, when-expression -> paragraph 2 -> sentence 5
*/
package test
const val four = 4
compiler/testData/diagnostics/tests/when/ElseOnNullableEnum.kt
Vendored
+6
View File
@@ -1,4 +1,10 @@
// KT-2902 Check for null should be required when match nullable enum element
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: neg):
* - 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
compiler/testData/diagnostics/tests/when/ElseOnNullableEnumWithSmartCast.kt
Vendored
+7
View File
@@ -1,3 +1,10 @@
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: neg):
* - 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 }
fun foo(e: E, something: Any?): Int {
compiler/testData/diagnostics/tests/when/EmptyConditionWithExpression.kt
Vendored
+8
View File
@@ -1,4 +1,12 @@
// FIR_IDENTICAL
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: neg):
* - expressions, when-expression -> paragraph 5 -> sentence 1
* - 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
fun foo(arg: Int): Int {
when (arg) {
compiler/testData/diagnostics/tests/when/EmptyConditionWithExpressionEnum.kt
Vendored
+8
View File
@@ -1,4 +1,12 @@
// FIR_IDENTICAL
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: neg):
* - expressions, when-expression -> paragraph 5 -> sentence 1
* - 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
enum class My { FIRST, SECOND }
fun foo(arg: My): Int {
compiler/testData/diagnostics/tests/when/ExhaustiveBoolean.kt
Vendored
+8
View File
@@ -1,4 +1,12 @@
// FIR_IDENTICAL
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: neg):
* - expressions, when-expression -> paragraph 5 -> sentence 1
* - 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
fun foo(arg: Boolean): String {
// Must be exhaustive
compiler/testData/diagnostics/tests/when/ExhaustiveBooleanBrackets.kt
Vendored
+8
View File
@@ -1,4 +1,12 @@
// FIR_IDENTICAL
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: neg):
* - expressions, when-expression -> paragraph 5 -> sentence 1
* - 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 {
// Must be exhaustive
return when(arg) {
compiler/testData/diagnostics/tests/when/ExhaustiveBooleanComplex.kt
Vendored
+8
View File
@@ -1,4 +1,12 @@
// FIR_IDENTICAL
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: neg):
* - expressions, when-expression -> paragraph 5 -> sentence 1
* - 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
fun foo(arg: Boolean): String {
// Must be exhaustive
compiler/testData/diagnostics/tests/when/ExhaustiveBooleanNullable.kt
Vendored
+8
View File
@@ -1,4 +1,12 @@
// FIR_IDENTICAL
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: neg):
* - expressions, when-expression -> paragraph 5 -> sentence 1
* - 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
fun foo(arg: Boolean?): String {
// Must be exhaustive
compiler/testData/diagnostics/tests/when/ExhaustiveBreakContinue.kt
Vendored
+9
View File
@@ -1,3 +1,12 @@
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: neg):
* - expressions, when-expression -> paragraph 5 -> sentence 1
* - 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
* - control--and-data-flow-analysis, control-flow-graph, statements-1 -> paragraph 0 -> sentence 0
*/
enum class Color { RED, GREEN, BLUE }
fun foo(arr: Array<Color>): Color {
compiler/testData/diagnostics/tests/when/ExhaustiveEnumIs.kt
Vendored
+7
View File
@@ -1,3 +1,10 @@
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: neg):
* - 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 {
A, B, C
}
compiler/testData/diagnostics/tests/when/ExhaustiveEnumMixed.kt
Vendored
+8
View File
@@ -1,3 +1,11 @@
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: neg):
* - expressions, when-expression -> paragraph 5 -> sentence 1
* - 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 {
A, B, C
}
compiler/testData/diagnostics/tests/when/ExhaustiveInitialization.kt
Vendored
+10 -1
View File
@@ -1,3 +1,12 @@
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: pos):
* - expressions, when-expression -> paragraph 5 -> sentence 1
* - expressions, when-expression -> paragraph 6 -> sentence 5
* - 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 {
NORTH, SOUTH, WEST, EAST
}
@@ -12,4 +21,4 @@ fun foo(dir: Direction): Int {
Direction.EAST -> res = 4
}<!>
return res
}
}
compiler/testData/diagnostics/tests/when/ExhaustiveNoInitialization.kt
Vendored
+10
View File
@@ -1,3 +1,13 @@
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: pos):
* - expressions, when-expression -> paragraph 5 -> sentence 1
* - 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
* - 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 {
val x: Int
val y: Int
compiler/testData/diagnostics/tests/when/ExhaustiveNullable.kt
Vendored
+9
View File
@@ -1,3 +1,12 @@
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: pos):
* - 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
* - 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 {
A, B
}
compiler/testData/diagnostics/tests/when/ExhaustivePlatformEnum.kt
Vendored
+6
View File
@@ -1,3 +1,9 @@
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: pos):
* - 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
// FILE: J.java
compiler/testData/diagnostics/tests/when/ExhaustivePlatformEnumAnnotated.kt
Vendored
+6
View File
@@ -1,4 +1,10 @@
// FIR_IDENTICAL
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: pos):
* - 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
// FILE: J.java
compiler/testData/diagnostics/tests/when/ExhaustivePlatformEnumElse.kt
Vendored
+7
View File
@@ -1,4 +1,11 @@
// FIR_IDENTICAL
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: pos):
* - 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
// FILE: J.java
compiler/testData/diagnostics/tests/when/ExhaustivePlatformEnumNull.kt
Vendored
+7
View File
@@ -1,4 +1,11 @@
// FIR_IDENTICAL
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: pos):
* - 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
// FILE: J.java
compiler/testData/diagnostics/tests/when/ExhaustivePlatformEnumStatement.kt
Vendored
+6
View File
@@ -1,3 +1,9 @@
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: pos):
* - 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
// FILE: J.java
compiler/testData/diagnostics/tests/when/ExhaustiveReturn.kt
Vendored
+8
View File
@@ -1,3 +1,11 @@
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: pos):
* - expressions, when-expression -> paragraph 5 -> sentence 1
* - 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 {
NORTH, SOUTH, WEST, EAST
}
compiler/testData/diagnostics/tests/when/ExhaustiveReturnThrow.kt
Vendored
+8
View File
@@ -1,3 +1,11 @@
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: pos):
* - expressions, when-expression -> paragraph 5 -> sentence 1
* - 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 {
NORTH, SOUTH, WEST, EAST
}
compiler/testData/diagnostics/tests/when/ExhaustiveValOverConditionalInit.kt
Vendored
+10
View File
@@ -1,3 +1,13 @@
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: neg):
* - expressions, when-expression -> paragraph 5 -> sentence 1
* - 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
* - 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 {
val x: Int
if (a) {
compiler/testData/diagnostics/tests/when/ExhaustiveVarOverConditionalInit.kt
Vendored
+9
View File
@@ -1,3 +1,12 @@
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: neg):
* - expressions, when-expression -> paragraph 5 -> sentence 1
* - 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
* - 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 {
var x: Int
if (a) {
compiler/testData/diagnostics/tests/when/ExhaustiveWithNullabilityCheck.kt
Vendored
+7
View File
@@ -1,3 +1,10 @@
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: pos):
* - 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
enum class X { A, B }
fun foo(arg: X?): Int {
compiler/testData/diagnostics/tests/when/ExhaustiveWithNullabilityCheckBefore.kt
Vendored
+9
View File
@@ -1,3 +1,12 @@
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: pos):
* - 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
* - 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
enum class X { A, B }
fun foo(arg: X?): Int {
compiler/testData/diagnostics/tests/when/ExhaustiveWithNullabilityCheckBoolean.kt
Vendored
+9
View File
@@ -1,3 +1,12 @@
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: pos):
* - expressions, when-expression -> paragraph 5 -> sentence 1
* - 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
* - type-inference, smart-casts, smart-cast-types -> paragraph 9 -> sentence 1
*/
// KT-7857: when exhaustiveness does not take previous nullability checks into account
fun foo(arg: Boolean?): Int {
if (arg != null) {
compiler/testData/diagnostics/tests/when/ExhaustiveWithNullabilityCheckElse.kt
Vendored
+9
View File
@@ -1,3 +1,12 @@
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: pos):
* - 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
* - 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
enum class X { A, B }
fun foo(arg: X?): Int {
compiler/testData/diagnostics/tests/when/NoElseExpectedUnit.kt
Vendored
+7
View File
@@ -1,3 +1,10 @@
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: neg):
* - 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) {
val y: Unit = <!NO_ELSE_IN_WHEN!>when<!> (x) {
2 -> {}
compiler/testData/diagnostics/tests/when/NoElseNoExpectedType.kt
Vendored
+7
View File
@@ -1,3 +1,10 @@
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: neg):
* - 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 {
val v = <!NO_ELSE_IN_WHEN!>when<!> (x) {
2 -> 0
compiler/testData/diagnostics/tests/when/NoElseReturnedCoercionToUnit.kt
Vendored
+8
View File
@@ -1,3 +1,11 @@
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: neg):
* - expressions, when-expression -> paragraph 5 -> 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) {
r {
when (x) {
compiler/testData/diagnostics/tests/when/NoElseReturnedFromLambdaExpectedInt.kt
Vendored
+9
View File
@@ -1,3 +1,12 @@
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: neg):
* - expressions, when-expression -> paragraph 5 -> 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
* - overload-resolution, determining-function-applicability-for-a-specific-call, description -> paragraph 3 -> sentence 3
*/
fun foo(x: Int) {
r {
<!NO_ELSE_IN_WHEN!>when<!> (x) {
compiler/testData/diagnostics/tests/when/NoElseReturnedNonUnit.kt
Vendored
+7
View File
@@ -1,3 +1,10 @@
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: neg):
* - 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 {
return <!NO_ELSE_IN_WHEN!>when<!> (x) {
2 -> 0
compiler/testData/diagnostics/tests/when/NoElseReturnedUnit.kt
Vendored
+8
View File
@@ -1,3 +1,11 @@
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: neg):
* - 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) {
return <!NO_ELSE_IN_WHEN!>when<!> (x) {
2 -> {}
compiler/testData/diagnostics/tests/when/NoElseWhenStatement.kt
Vendored
+6
View File
@@ -1,4 +1,10 @@
// FIR_IDENTICAL
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: pos):
* - expressions, when-expression -> paragraph 5 -> sentence 1
* - expressions, when-expression -> paragraph 9 -> sentence 2
*/
fun foo(x: Int) {
when (x) {
2 -> {}
compiler/testData/diagnostics/tests/when/NonExhaustiveBooleanNullable.kt
Vendored
+8
View File
@@ -1,3 +1,11 @@
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: pos):
* - 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 3
* - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 10
*/
// See also: KT-3743
fun foo(arg: Boolean?): String {
// Must be NOT exhaustive
compiler/testData/diagnostics/tests/when/NonExhaustivePlatformEnum.kt
Vendored
+7
View File
@@ -1,3 +1,10 @@
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: neg):
* - 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
// FILE: J.java
compiler/testData/diagnostics/tests/when/NonExhaustiveWarning.kt
Vendored
+10
View File
@@ -1,3 +1,13 @@
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: neg):
* - 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
* - 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
enum class X { A, B, C, D }
compiler/testData/diagnostics/tests/when/NonExhaustiveWarningElse.kt
Vendored
+10
View File
@@ -1,4 +1,14 @@
// FIR_IDENTICAL
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: neg):
* - 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 1
* - 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
enum class X { A, B, C, D }
compiler/testData/diagnostics/tests/when/NonExhaustiveWarningFalse.kt
Vendored
+9
View File
@@ -1,3 +1,12 @@
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: neg):
* - expressions, when-expression -> paragraph 5 -> 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 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
enum class X { A, B, C, D }
compiler/testData/diagnostics/tests/when/NonExhaustiveWarningForSealedClass.kt
Vendored
+11
View File
@@ -1,3 +1,14 @@
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: neg):
* - 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 6
* - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 7
* - 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
object First : S()
compiler/testData/diagnostics/tests/when/NonExhaustiveWarningNull.kt
Vendored
+11
View File
@@ -1,4 +1,15 @@
// FIR_IDENTICAL
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: neg):
* - 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
* - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 10
* - 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
enum class X { A, B, C, D }
compiler/testData/diagnostics/tests/when/NonExhaustiveWithNullabilityCheck.kt
Vendored
+9
View File
@@ -1,3 +1,12 @@
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: neg):
* - 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
* - 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
enum class X { A, B }
fun foo(arg: X?): Int {
compiler/testData/diagnostics/tests/when/PropertyNotInitialized.kt
Vendored
+10
View File
@@ -1,3 +1,13 @@
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: neg):
* - expressions, when-expression -> paragraph 5 -> 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 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
* - declarations, classifier-declaration, classifier-initialization -> paragraph 6 -> sentence 4
*/
// See KT-5113
enum class E {
A,
compiler/testData/diagnostics/tests/when/RedundantElse.kt
Vendored
+10
View File
@@ -1,3 +1,13 @@
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: neg):
* - expressions, when-expression -> paragraph 5 -> sentence 1
* - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 3
* - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 6
* - 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
public enum MyEnum {
SINGLE;
compiler/testData/diagnostics/tests/when/ReservedExhaustiveWhen.kt
Vendored
+7
View File
@@ -1,3 +1,10 @@
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: neg):
* - 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
infix fun Any.sealed(a: Any?) {}
compiler/testData/diagnostics/tests/when/TopLevelSealed.kt
Vendored
+8
View File
@@ -1,4 +1,12 @@
// !DIAGNOSTICS: -UNUSED_VARIABLE
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: neg):
* - expressions, when-expression -> paragraph 5 -> sentence 1
* - expressions, when-expression -> paragraph 6 -> sentence 1
* - 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 {
class B: A() {
compiler/testData/diagnostics/tests/when/When.kt
Vendored
+12
View File
@@ -1,4 +1,16 @@
// !WITH_NEW_INFERENCE
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: neg):
* - expressions, when-expression -> paragraph 2 -> sentence 5
* - expressions, when-expression -> paragraph 5 -> sentence 1
* - expressions, when-expression -> paragraph 6 -> sentence 1
* - expressions, when-expression -> paragraph 6 -> sentence 3
* - expressions, when-expression -> paragraph 6 -> sentence 5
* - 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
fun foo() : Int {
compiler/testData/diagnostics/tests/when/WhenTypeDisjunctions.kt
Vendored
+10
View File
@@ -1,3 +1,13 @@
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: neg):
* - expressions, when-expression -> paragraph 5 -> sentence 1
* - type-inference, smart-casts, smart-cast-types -> paragraph 9 -> sentence 1
* - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 1
* - 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 {
val x = when (s) {
is String -> <!DEBUG_INFO_SMARTCAST!>s<!>
compiler/testData/diagnostics/tests/when/kt10439.kt
Vendored
+10
View File
@@ -1,4 +1,14 @@
// !WITH_NEW_INFERENCE
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: pos):
* - expressions, when-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
* - 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
fun test0(flag: Boolean) {
compiler/testData/diagnostics/tests/when/kt10809.kt
Vendored
+14
View File
@@ -1,6 +1,20 @@
// !WITH_NEW_INFERENCE
// !DIAGNOSTICS: -UNUSED_PARAMETER -DEBUG_INFO_SMARTCAST
// NI_EXPECTED_FILE
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: pos):
* - expressions, when-expression -> paragraph 5 -> sentence 1
* - expressions, when-expression -> paragraph 6 -> sentence 1
* - expressions, when-expression -> paragraph 2 -> sentence 1
* - expressions, when-expression -> paragraph 9 -> sentence 1
* - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 1
* - expressions, conditional-expression -> paragraph 4 -> sentence 1
* - declarations, function-declaration -> paragraph 7 -> sentence 1
* - type-inference, smart-casts, smart-cast-types -> paragraph 9 -> 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
interface Item
compiler/testData/diagnostics/tests/when/kt10811.kt
Vendored
+13
View File
@@ -1,4 +1,17 @@
// FIR_IDENTICAL
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: pos):
* - expressions, when-expression -> paragraph 2 -> sentence 1
* - expressions, when-expression -> paragraph 5 -> sentence 1
* - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 1
* - expressions, conditional-expression -> paragraph 4 -> sentence 1
* - type-inference, local-type-inference -> paragraph 8 -> sentence 1
* - type-inference, local-type-inference -> paragraph 2 -> sentence 1
* - 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>
class Some<T>(val value: T) : Maybe<T>
class None<T> : Maybe<T>
compiler/testData/diagnostics/tests/when/kt4434.kt
Vendored
+8
View File
@@ -1,3 +1,11 @@
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: pos):
* - 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 1
* - expressions, when-expression -> paragraph 6 -> sentence 5
*/
// KT-4434 Missed diagnostic about else branch in when
package test
compiler/testData/diagnostics/tests/when/kt9972.kt
Vendored
+9
View File
@@ -1,4 +1,13 @@
// !WITH_NEW_INFERENCE
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: pos):
* - expressions, when-expression -> paragraph 2 -> sentence 1
* - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> 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 {
val x: String = <!NI;TYPE_MISMATCH!>if (true) {
when {
compiler/testData/diagnostics/tests/when/whenAndLambdaWithExpectedType.kt
Vendored
+9
View File
@@ -1,4 +1,13 @@
// !WITH_NEW_INFERENCE
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: neg):
* - expressions, when-expression -> paragraph 2 -> sentence 1
* - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 1
* - 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 =
when {
true -> {{ true }}
compiler/testData/diagnostics/tests/when/whenWithNothingAndLambdas.kt
Vendored
+10
View File
@@ -1,5 +1,15 @@
// !WITH_NEW_INFERENCE
// NI_EXPECTED_FILE
/*
* RELEVANT SPEC SENTENCES (spec version: 0.1-155, test type: neg):
* - expressions, when-expression -> paragraph 2 -> sentence 1
* - expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 1
* - declarations, function-declaration -> paragraph 7 -> sentence 1
* - 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 {
true -> { <!OI;TYPE_MISMATCH!>{ true }<!> }
else -> TODO()