Update tests after switching to LV 2.0

Related to KT-59171
2023-06-21 17:11:59 +02:00
parent 5fb38008b7
commit 2a8b655294
218 changed files with 531 additions and 1187 deletions
@@ -1,4 +1,3 @@
-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 compiler/testData/cli/js/compilationErrorK2.kt:9:13: error: cannot access 'companion object Test : Any': it is private in '/Foo'.
        Foo.Test
            ^
@@ -1,2 +1 @@
-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 OK
@@ -1,2 +1 @@
-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 OK
@@ -7,5 +7,4 @@ This mode is not recommended for production use,
 as no stability/compatibility guarantees are given on
 compiler or generated code. Use it at your own risk!

-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 OK
@@ -7,5 +7,4 @@ This mode is not recommended for production use,
 as no stability/compatibility guarantees are given on
 compiler or generated code. Use it at your own risk!

-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 OK
@@ -6,6 +6,6 @@ $TEMP_DIR$
 -ir-output-name
 out
 -language-version
-1.4
+1.5
 -libraries
 $STDLIB_JS$
@@ -1,4 +1,5 @@
 package test

-sealed interface Polygon
+import kotlin.reflect.*

+abstract class Some : KSuspendFunction0<Unit>
@@ -1,5 +1,5 @@
-warning: language version 1.4 is deprecated and its support will be removed in a future version of Kotlin
-compiler/testData/cli/js/languageVersion.kt:3:1: error: the feature "sealed interfaces" is only available since language version 1.5
-sealed interface Polygon
-^
+warning: language version 1.5 is deprecated and its support will be removed in a future version of Kotlin
+compiler/testData/cli/js/languageVersion.kt:5:23: error: KSuspendFunctionN interfaces are not allowed as supertypes
+abstract class Some : KSuspendFunction0<Unit>
+                      ^
 COMPILATION_ERROR
@@ -1,13 +1 @@
-compiler/testData/cli/js/reifiedIntersectionType.kt:2:9: warning: variable 'flow' is never used
-    val flow = combine(
-        ^
-compiler/testData/cli/js/reifiedIntersectionType.kt:11:12: warning: parameter 'flows' is never used
-    vararg flows: Flow<T>,
-           ^
-compiler/testData/cli/js/reifiedIntersectionType.kt:12:17: warning: parameter 'transform' is never used
-    crossinline transform: suspend (Array<T>) -> R
-                ^
-compiler/testData/cli/js/reifiedIntersectionType.kt:15:16: warning: parameter 'value' is never used
-fun <T> flowOf(value: T): Flow<T> = TODO()
-               ^
 OK
@@ -7,5 +7,4 @@ This mode is not recommended for production use,
 as no stability/compatibility guarantees are given on
 compiler or generated code. Use it at your own risk!

-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 OK
@@ -1,95 +1,2 @@
 warning: API version 1.4 is deprecated and its support will be removed in a future version of Kotlin
-compiler/testData/cli/jvm/apiVersion.kt:4:5: warning: parameter 'p00' is never used
-    p00: A, p01: A, p02: A, p03: A, p04: A, p05: A, p06: A, p07: A, p08: A, p09: A,
-    ^
-compiler/testData/cli/jvm/apiVersion.kt:4:13: warning: parameter 'p01' is never used
-    p00: A, p01: A, p02: A, p03: A, p04: A, p05: A, p06: A, p07: A, p08: A, p09: A,
-            ^
-compiler/testData/cli/jvm/apiVersion.kt:4:21: warning: parameter 'p02' is never used
-    p00: A, p01: A, p02: A, p03: A, p04: A, p05: A, p06: A, p07: A, p08: A, p09: A,
-                    ^
-compiler/testData/cli/jvm/apiVersion.kt:4:29: warning: parameter 'p03' is never used
-    p00: A, p01: A, p02: A, p03: A, p04: A, p05: A, p06: A, p07: A, p08: A, p09: A,
-                            ^
-compiler/testData/cli/jvm/apiVersion.kt:4:37: warning: parameter 'p04' is never used
-    p00: A, p01: A, p02: A, p03: A, p04: A, p05: A, p06: A, p07: A, p08: A, p09: A,
-                                    ^
-compiler/testData/cli/jvm/apiVersion.kt:4:45: warning: parameter 'p05' is never used
-    p00: A, p01: A, p02: A, p03: A, p04: A, p05: A, p06: A, p07: A, p08: A, p09: A,
-                                            ^
-compiler/testData/cli/jvm/apiVersion.kt:4:53: warning: parameter 'p06' is never used
-    p00: A, p01: A, p02: A, p03: A, p04: A, p05: A, p06: A, p07: A, p08: A, p09: A,
-                                                    ^
-compiler/testData/cli/jvm/apiVersion.kt:4:61: warning: parameter 'p07' is never used
-    p00: A, p01: A, p02: A, p03: A, p04: A, p05: A, p06: A, p07: A, p08: A, p09: A,
-                                                            ^
-compiler/testData/cli/jvm/apiVersion.kt:4:69: warning: parameter 'p08' is never used
-    p00: A, p01: A, p02: A, p03: A, p04: A, p05: A, p06: A, p07: A, p08: A, p09: A,
-                                                                    ^
-compiler/testData/cli/jvm/apiVersion.kt:4:77: warning: parameter 'p09' is never used
-    p00: A, p01: A, p02: A, p03: A, p04: A, p05: A, p06: A, p07: A, p08: A, p09: A,
-                                                                            ^
-compiler/testData/cli/jvm/apiVersion.kt:5:5: warning: parameter 'p10' is never used
-    p10: A, p11: A, p12: A, p13: A, p14: A, p15: A, p16: A, p17: A, p18: A, p19: A,
-    ^
-compiler/testData/cli/jvm/apiVersion.kt:5:13: warning: parameter 'p11' is never used
-    p10: A, p11: A, p12: A, p13: A, p14: A, p15: A, p16: A, p17: A, p18: A, p19: A,
-            ^
-compiler/testData/cli/jvm/apiVersion.kt:5:21: warning: parameter 'p12' is never used
-    p10: A, p11: A, p12: A, p13: A, p14: A, p15: A, p16: A, p17: A, p18: A, p19: A,
-                    ^
-compiler/testData/cli/jvm/apiVersion.kt:5:29: warning: parameter 'p13' is never used
-    p10: A, p11: A, p12: A, p13: A, p14: A, p15: A, p16: A, p17: A, p18: A, p19: A,
-                            ^
-compiler/testData/cli/jvm/apiVersion.kt:5:37: warning: parameter 'p14' is never used
-    p10: A, p11: A, p12: A, p13: A, p14: A, p15: A, p16: A, p17: A, p18: A, p19: A,
-                                    ^
-compiler/testData/cli/jvm/apiVersion.kt:5:45: warning: parameter 'p15' is never used
-    p10: A, p11: A, p12: A, p13: A, p14: A, p15: A, p16: A, p17: A, p18: A, p19: A,
-                                            ^
-compiler/testData/cli/jvm/apiVersion.kt:5:53: warning: parameter 'p16' is never used
-    p10: A, p11: A, p12: A, p13: A, p14: A, p15: A, p16: A, p17: A, p18: A, p19: A,
-                                                    ^
-compiler/testData/cli/jvm/apiVersion.kt:5:61: warning: parameter 'p17' is never used
-    p10: A, p11: A, p12: A, p13: A, p14: A, p15: A, p16: A, p17: A, p18: A, p19: A,
-                                                            ^
-compiler/testData/cli/jvm/apiVersion.kt:5:69: warning: parameter 'p18' is never used
-    p10: A, p11: A, p12: A, p13: A, p14: A, p15: A, p16: A, p17: A, p18: A, p19: A,
-                                                                    ^
-compiler/testData/cli/jvm/apiVersion.kt:5:77: warning: parameter 'p19' is never used
-    p10: A, p11: A, p12: A, p13: A, p14: A, p15: A, p16: A, p17: A, p18: A, p19: A,
-                                                                            ^
-compiler/testData/cli/jvm/apiVersion.kt:6:5: warning: parameter 'p20' is never used
-    p20: A, p21: A, p22: A, p23: A, p24: A, p25: A, p26: A, p27: A, p28: A, p29: A
-    ^
-compiler/testData/cli/jvm/apiVersion.kt:6:13: warning: parameter 'p21' is never used
-    p20: A, p21: A, p22: A, p23: A, p24: A, p25: A, p26: A, p27: A, p28: A, p29: A
-            ^
-compiler/testData/cli/jvm/apiVersion.kt:6:21: warning: parameter 'p22' is never used
-    p20: A, p21: A, p22: A, p23: A, p24: A, p25: A, p26: A, p27: A, p28: A, p29: A
-                    ^
-compiler/testData/cli/jvm/apiVersion.kt:6:29: warning: parameter 'p23' is never used
-    p20: A, p21: A, p22: A, p23: A, p24: A, p25: A, p26: A, p27: A, p28: A, p29: A
-                            ^
-compiler/testData/cli/jvm/apiVersion.kt:6:37: warning: parameter 'p24' is never used
-    p20: A, p21: A, p22: A, p23: A, p24: A, p25: A, p26: A, p27: A, p28: A, p29: A
-                                    ^
-compiler/testData/cli/jvm/apiVersion.kt:6:45: warning: parameter 'p25' is never used
-    p20: A, p21: A, p22: A, p23: A, p24: A, p25: A, p26: A, p27: A, p28: A, p29: A
-                                            ^
-compiler/testData/cli/jvm/apiVersion.kt:6:53: warning: parameter 'p26' is never used
-    p20: A, p21: A, p22: A, p23: A, p24: A, p25: A, p26: A, p27: A, p28: A, p29: A
-                                                    ^
-compiler/testData/cli/jvm/apiVersion.kt:6:61: warning: parameter 'p27' is never used
-    p20: A, p21: A, p22: A, p23: A, p24: A, p25: A, p26: A, p27: A, p28: A, p29: A
-                                                            ^
-compiler/testData/cli/jvm/apiVersion.kt:6:69: warning: parameter 'p28' is never used
-    p20: A, p21: A, p22: A, p23: A, p24: A, p25: A, p26: A, p27: A, p28: A, p29: A
-                                                                    ^
-compiler/testData/cli/jvm/apiVersion.kt:6:77: warning: parameter 'p29' is never used
-    p20: A, p21: A, p22: A, p23: A, p24: A, p25: A, p26: A, p27: A, p28: A, p29: A
-                                                                            ^
-compiler/testData/cli/jvm/apiVersion.kt:9:9: warning: parameter 'x' is never used
-fun bar(x: Any) {}
-        ^
 OK
@@ -1,8 +1,8 @@
 warning: API version 1.4 is deprecated and its support will be removed in a future version of Kotlin
-compiler/testData/cli/jvm/apiVersionAndSinceNewerKotlin.kt:1:1: warning: the version is greater than the specified API version 1.4
+compiler/testData/cli/jvm/apiVersionAndSinceNewerKotlin.kt:1:14: warning: the version is greater than the specified API version 1.4
@SinceKotlin("1.5")
-^
-compiler/testData/cli/jvm/apiVersionAndSinceNewerKotlin.kt:4:1: warning: the version is greater than the specified API version 1.4
+             ^
+compiler/testData/cli/jvm/apiVersionAndSinceNewerKotlin.kt:4:14: warning: the version is greater than the specified API version 1.4
@SinceKotlin("1.6")
-^
+             ^
 OK
@@ -2,6 +2,6 @@ $TESTDATA_DIR$/apiVersion.kt
 -d
 $TEMP_DIR$
 -api-version
-1.5
+1.6
 -language-version
-1.4
+1.5
@@ -1,3 +1,3 @@
-error: -api-version (1.5) cannot be greater than -language-version (1.4)
-warning: language version 1.4 is deprecated and its support will be removed in a future version of Kotlin
+error: -api-version (1.6) cannot be greater than -language-version (1.5)
+warning: language version 1.5 is deprecated and its support will be removed in a future version of Kotlin
 COMPILATION_ERROR
@@ -1,3 +1,3 @@
 error: unknown API version: 239.42
-Supported API versions: 1.4 (deprecated), 1.5 (deprecated), 1.6, 1.7, 1.8, 1.9, 2.0 (experimental), 2.1 (experimental)
+Supported API versions: 1.4 (deprecated), 1.5 (deprecated), 1.6 (deprecated), 1.7, 1.8, 1.9, 2.0, 2.1 (experimental)
 COMPILATION_ERROR
@@ -1,7 +1 @@
-compiler/testData/cli/jvm/builderInferenceByDefault.kt:1:21: warning: parameter 'builderAction' is never used
-fun <K, V> buildMap(builderAction: MutableMap<K, V>.() -> Unit): Map<K, V> = mapOf()
-                    ^
-compiler/testData/cli/jvm/builderInferenceByDefault.kt:4:9: warning: variable 'x' is never used
-    val x = buildMap {
-        ^
 OK
@@ -1,20 +1,4 @@
-compiler/testData/cli/jvm/builderInferenceErrors.kt:6:9: error: overload resolution ambiguity:
-public inline fun println(message: Any?): Unit defined in kotlin.io
-public inline fun println(message: Boolean): Unit defined in kotlin.io
-public inline fun println(message: Byte): Unit defined in kotlin.io
-public inline fun println(message: Char): Unit defined in kotlin.io
-public inline fun println(message: CharArray): Unit defined in kotlin.io
-public inline fun println(message: Double): Unit defined in kotlin.io
-public inline fun println(message: Float): Unit defined in kotlin.io
-public inline fun println(message: Int): Unit defined in kotlin.io
-public inline fun println(message: Long): Unit defined in kotlin.io
-public inline fun println(message: Short): Unit defined in kotlin.io
+compiler/testData/cli/jvm/builderInferenceErrors.kt:6:9: error: overload resolution ambiguity between candidates: [@InlineOnly() fun println(message: Any?): Unit, @InlineOnly() fun println(message: Boolean): Unit, @InlineOnly() fun println(message: Byte): Unit, ...]
        println(secondParameter)
        ^
-compiler/testData/cli/jvm/builderInferenceErrors.kt:6:9: error: no type argument for type parameter(s) `E` of the `buildList` builder specified. Cannot choose which overloaded function `println` to call. To disambiguate this call, either use an explicit type cast for a parameter or a receiver (see specific errors on them) or specify the type `E` explicitly.
-        println(secondParameter)
-        ^
-compiler/testData/cli/jvm/builderInferenceErrors.kt:6:17: error: the type of an argument hasn't been inferred yet. To disambiguate this call, explicitly cast it to `String` if you want the builder's type parameter(s) `E` to be inferred to `String`.
-        println(secondParameter)
-                ^
 COMPILATION_ERROR
@@ -1,16 +1 @@
-compiler/testData/cli/jvm/classpath.kt:8:9: warning: variable 'a' is never used
-    val a = Big5() // charsets.jar
-        ^
-compiler/testData/cli/jvm/classpath.kt:9:9: warning: variable 'c' is never used
-    val c = DNSNameService() // dnsns.ajr
-        ^
-compiler/testData/cli/jvm/classpath.kt:10:9: warning: variable 'e' is never used
-    val e : Cipher? = null // jce.jar
-        ^
-compiler/testData/cli/jvm/classpath.kt:11:9: warning: variable 'f' is never used
-    val f : SunJCE? = null // sunjce_provider.jar
-        ^
-compiler/testData/cli/jvm/classpath.kt:12:9: warning: variable 'j' is never used
-    val j : ByteBuffered? = null // rt.jar
-        ^
 OK
@@ -1,4 +1,4 @@
-compiler/testData/cli/jvm/compatqualUsage.kt:2:11: error: null can not be a value of a non-null type String
+compiler/testData/cli/jvm/compatqualUsage.kt:2:11: error: null can not be a value of a non-null type '@EnhancedNullability kotlin/String'
    b.foo(null)
          ^
 COMPILATION_ERROR
@@ -1,4 +1,4 @@
-compiler/testData/cli/jvm/compatqualUsage.kt:2:11: error: null can not be a value of a non-null type String
+compiler/testData/cli/jvm/compatqualUsage.kt:2:11: error: null can not be a value of a non-null type '@EnhancedNullability kotlin/String'
    b.foo(null)
          ^
 COMPILATION_ERROR
@@ -1,13 +1,13 @@
-compiler/testData/cli/jvm/conflictingJvmDeclarations.kt:3:9: error: platform declaration clash: The following declarations have the same JVM signature (getX()I):
+compiler/testData/cli/jvm/conflictingJvmDeclarations.kt:2:5: error: platform declaration clash: The following declarations have the same JVM signature (getX()I):
    fun `<get-x>`(): Int defined in Foo
    fun getX(): Int defined in Foo
    fun getY(): Int defined in Foo
-        get() = 42
-        ^
-compiler/testData/cli/jvm/conflictingJvmDeclarations.kt:9:5: error: platform declaration clash: The following declarations have the same JVM signature (getX()I):
+    val x: Int
+    ^
+compiler/testData/cli/jvm/conflictingJvmDeclarations.kt:8:5: error: platform declaration clash: The following declarations have the same JVM signature (getX()I):
    fun `<get-x>`(): Int defined in Foo
    fun getX(): Int defined in Foo
    fun getY(): Int defined in Foo
-    fun getY() = 42
+    @JvmName("getX")
    ^
 COMPILATION_ERROR
@@ -1,4 +1,3 @@
-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 compiler/testData/cli/jvm/conflictingJvmDeclarations.kt:2:5: error: platform declaration clash: The following declarations have the same JVM signature (getX()I):
    fun `<get-x>`(): Int defined in Foo
    fun getX(): Int defined in Foo
@@ -1,7 +1,7 @@
-compiler/testData/cli/jvm/conflictingOverloads.kt:1:1: error: conflicting overloads: public fun a(): List<Int> defined in root package in file conflictingOverloads.kt, public fun a(): List<String> defined in root package in file conflictingOverloads.kt
+compiler/testData/cli/jvm/conflictingOverloads.kt:1:1: error: conflicting overloads: [fun a(): List<String>]
 fun a(): List<Int> = null!!
 ^
-compiler/testData/cli/jvm/conflictingOverloads.kt:2:1: error: conflicting overloads: public fun a(): List<Int> defined in root package in file conflictingOverloads.kt, public fun a(): List<String> defined in root package in file conflictingOverloads.kt
+compiler/testData/cli/jvm/conflictingOverloads.kt:2:1: error: conflicting overloads: [fun a(): List<Int>]
 fun a(): List<String> = null!!
 ^
-COMPILATION_ERROR
+COMPILATION_ERROR
@@ -1,4 +1,3 @@
-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 compiler/testData/cli/jvm/conflictingProjection.kt:10:19: error: projection is conflicting with variance of the corresponding type parameter of 'Out<in kotlin/Int>'. Remove the projection or replace it with '*'.
 fun a8(value: Out<in Int>) {}
                  ^
@@ -2,4 +2,4 @@ $TESTDATA_DIR$/simple.kt
 -d
 $TEMP_DIR$
 -language-version
-1.4
+1.5
@@ -1,2 +1,2 @@
-warning: language version 1.4 is deprecated and its support will be removed in a future version of Kotlin
+warning: language version 1.5 is deprecated and its support will be removed in a future version of Kotlin
 OK
@@ -1,28 +1,28 @@
-compiler/testData/cli/jvm/diagnosticsOrder1.kt:1:5: error: conflicting declarations: public val x: Int, public val x: Int, public val x: Int, public val x: Int, public val x: Int, public val x: Int, public val x: Int
+compiler/testData/cli/jvm/diagnosticsOrder1.kt:1:5: error: conflicting declarations: [val x: Int, val x: Int, val x: Int, ...]
 val x = 5
    ^
-compiler/testData/cli/jvm/diagnosticsOrder1.kt:2:5: error: conflicting declarations: public val x: Int, public val x: Int, public val x: Int, public val x: Int, public val x: Int, public val x: Int, public val x: Int
+compiler/testData/cli/jvm/diagnosticsOrder1.kt:2:5: error: conflicting declarations: [val x: Int, val x: Int, val x: Int, ...]
 val x = 5
    ^
-compiler/testData/cli/jvm/diagnosticsOrder1.kt:3:5: error: conflicting declarations: public val x: Int, public val x: Int, public val x: Int, public val x: Int, public val x: Int, public val x: Int, public val x: Int
+compiler/testData/cli/jvm/diagnosticsOrder1.kt:3:5: error: conflicting declarations: [val x: Int, val x: Int, val x: Int, ...]
 val x = 5
    ^
-compiler/testData/cli/jvm/diagnosticsOrder1.kt:4:5: error: conflicting declarations: public val x: Int, public val x: Int, public val x: Int, public val x: Int, public val x: Int, public val x: Int, public val x: Int
+compiler/testData/cli/jvm/diagnosticsOrder1.kt:4:5: error: conflicting declarations: [val x: Int, val x: Int, val x: Int, ...]
 val x = 5
    ^
-compiler/testData/cli/jvm/diagnosticsOrder1.kt:5:5: error: conflicting declarations: public val x: Int, public val x: Int, public val x: Int, public val x: Int, public val x: Int, public val x: Int, public val x: Int
+compiler/testData/cli/jvm/diagnosticsOrder1.kt:5:5: error: conflicting declarations: [val x: Int, val x: Int, val x: Int, ...]
 val x = 5
    ^
-compiler/testData/cli/jvm/diagnosticsOrder1.kt:6:5: error: conflicting declarations: public val x: Int, public val x: Int, public val x: Int, public val x: Int, public val x: Int, public val x: Int, public val x: Int
+compiler/testData/cli/jvm/diagnosticsOrder1.kt:6:5: error: conflicting declarations: [val x: Int, val x: Int, val x: Int, ...]
 val x = 5
    ^
-compiler/testData/cli/jvm/diagnosticsOrder1.kt:7:5: error: conflicting declarations: public val x: Int, public val x: Int, public val x: Int, public val x: Int, public val x: Int, public val x: Int, public val x: Int
+compiler/testData/cli/jvm/diagnosticsOrder1.kt:7:5: error: conflicting declarations: [val x: Int, val x: Int, val x: Int, ...]
 val x = 5
    ^
-compiler/testData/cli/jvm/diagnosticsOrder2.kt:1:5: error: conflicting declarations: public val y: Int, public val y: Int
+compiler/testData/cli/jvm/diagnosticsOrder2.kt:1:5: error: conflicting declarations: [val y: Int]
 val y = 5
    ^
-compiler/testData/cli/jvm/diagnosticsOrder2.kt:2:5: error: conflicting declarations: public val y: Int, public val y: Int
+compiler/testData/cli/jvm/diagnosticsOrder2.kt:2:5: error: conflicting declarations: [val y: Int]
 val y = 5
    ^
 COMPILATION_ERROR
@@ -1,4 +1,3 @@
-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 error: opt-in requirement marker org.test.Error is deprecated
 error: opt-in requirement marker org.test.Hidden is deprecated
 COMPILATION_ERROR
@@ -1,4 +1,3 @@
 warning: argument -Xopt-in is deprecated. Please use -opt-in instead
-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 warning: opt-in requirement marker org.test.Warning is deprecated
 OK
@@ -1,4 +1,3 @@
-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 warning: class org.test.NotAnAnnotation1 is not an opt-in requirement marker
 warning: class org.test.NotAnAnnotation2 is not an opt-in requirement marker
 OK
@@ -1,3 +1,2 @@
-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 warning: class org.test.NotAMarker is not an opt-in requirement marker
 OK
@@ -1,2 +1 @@
-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 OK
@@ -1,4 +1,3 @@
-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 warning: opt-in requirement marker org.test.Unresolved1 is unresolved. Please make sure it's present in the module dependencies
 warning: opt-in requirement marker org.test.Unresolved2 is unresolved. Please make sure it's present in the module dependencies
 OK
@@ -1,5 +1,7 @@
 $TESTDATA_DIR$/newInferenceImpliesSamConversions.kt
+-language-version
+1.9
 -d
 $TEMP_DIR$
 -Xnew-inference
-XXLanguage\:-SamConversionForKotlinFunctions
+-XXLanguage\:-SamConversionForKotlinFunctions
@@ -1,4 +1,6 @@
 $TESTDATA_DIR$/newInferenceImpliesSamConversions.kt
+-language-version
+1.9
 -d
 $TEMP_DIR$
-XXLanguage\:-SamConversionForKotlinFunctions
+-XXLanguage\:-SamConversionForKotlinFunctions
@@ -1,4 +1,3 @@
-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 compiler/testData/cli/jvm/extendedCheckers.kt:2:12: warning: redundant explicit type.
    val i: Int = 1
           ^
@@ -1,2 +1 @@
-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 OK
@@ -1,4 +1,3 @@
-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 compiler/testData/cli/jvm/firDeprecationJava.kt:3:12: warning: '@Deprecated(...) fun stop(): Unit' is deprecated. Deprecated in Java.
    thread.stop()
           ^
@@ -1,2 +1 @@
-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 OK
@@ -1,4 +1,3 @@
-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 compiler/testData/cli/jvm/firError.kt:1:13: error: 'val' on function parameter is prohibited.
 fun println(val x: Int) {}
            ^
@@ -1,4 +1,3 @@
-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 compiler/testData/cli/jvm/firErrorOnLastLine.kt:1:9: error: 'this' is not defined in this context.
 val x = this
        ^
@@ -1,4 +1,3 @@
-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 compiler/testData/cli/jvm/firErrorOnLastLineNoEol.kt:1:9: error: 'this' is not defined in this context.
 val x = this
        ^
@@ -1,4 +1,3 @@
-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 compiler/testData/cli/jvm/firFriendlyErrorIfNoJdkOptionIsSet.kt:2:11: error: unresolved reference 'NullPointerException'.
    throw NullPointerException()
          ^
@@ -1,3 +1,2 @@
 warning: compiler flag -Xuse-k2 is deprecated; please use "-language-version 2.0" instead
-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 OK
@@ -1,2 +1 @@
-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 OK
@@ -1,3 +1,2 @@
 warning: deprecated compiler flag -Xuse-k2 is redundant because of "-language-version 2.0" and should be removed
-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 OK
@@ -1,3 +1,2 @@
 warning: deprecated compiler flag -Xuse-k2 overrides "-language-version 1.5" to 2.0; please remove -Xuse-k2 and use -language-version to select either 1.5 or 2.0
-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 OK
@@ -1,4 +1,3 @@
-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 compiler/testData/cli/jvm/firLightTree.kt:2:5: error: variable expected.
    this += "Alpha"
    ^
@@ -1,4 +1,3 @@
-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 compiler/testData/cli/jvm/firLightTree.kt:2:5: error: variable expected.
    this += "Alpha"
    ^
@@ -8,7 +8,6 @@ This mode is not recommended for production use,
 as no stability/compatibility guarantees are given on
 compiler or generated code. Use it at your own risk!

-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 compiler/testData/cli/jvm/firMultiplatformCompilationWithError/jvm.kt:1:18: error: actual class 'actual interface A : Any' has no corresponding members for expected class members:

    expect fun foo(): Unit
@@ -8,7 +8,6 @@ This mode is not recommended for production use,
 as no stability/compatibility guarantees are given on
 compiler or generated code. Use it at your own risk!

-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 compiler/testData/cli/jvm/firMultiplatformCompilationWithoutErrors/common.kt:1:1: warning: 'expect'/'actual' classes (including interfaces, objects, annotations, enums, and 'actual' typealiases) are in Beta. You can use -Xexpect-actual-classes flag to suppress this warning. Also see: https://youtrack.jetbrains.com/issue/KT-61573
 expect interface A {
 ^
@@ -8,7 +8,6 @@ This mode is not recommended for production use,
 as no stability/compatibility guarantees are given on
 compiler or generated code. Use it at your own risk!

-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 compiler/testData/cli/jvm/firMultiplatformCompilationWithoutErrors/common.kt:1:1: warning: 'expect'/'actual' classes (including interfaces, objects, annotations, enums, and 'actual' typealiases) are in Beta. You can use -Xexpect-actual-classes flag to suppress this warning. Also see: https://youtrack.jetbrains.com/issue/KT-61573
 expect interface A {
 ^
@@ -1,2 +1 @@
-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 OK
@@ -1,4 +1,3 @@
-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 compiler/testData/cli/jvm/firSyntaxError.kt:1:10: error: syntax error: Expecting '}'.
 fun a() {
         ^
@@ -1,2 +1 @@
-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 OK
@@ -1,4 +1,3 @@
-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 compiler/testData/cli/jvm/forbidKotlinPackage.kt:4:1: error: only the Kotlin standard library is allowed to use the 'kotlin' package
 package kotlin.internal
 ^
@@ -7,6 +7,5 @@ This mode is not recommended for production use,
 as no stability/compatibility guarantees are given on
 compiler or generated code. Use it at your own risk!

-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 error: there is a cycle in dependencies of module `b`
 COMPILATION_ERROR
@@ -7,7 +7,6 @@ This mode is not recommended for production use,
 as no stability/compatibility guarantees are given on
 compiler or generated code. Use it at your own risk!

-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 error: source '$TESTDATA_DIR$/src/a.kt' does not belong to any module
 error: source '$TESTDATA_DIR$/src/b.kt' does not belong to any module
 COMPILATION_ERROR
@@ -7,7 +7,6 @@ This mode is not recommended for production use,
 as no stability/compatibility guarantees are given on
 compiler or generated code. Use it at your own risk!

-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 error: incorrect syntax for -Xfragment-sources argument. `<module name>:<source file>` expected but got `a;a.kt;`
 error: source '$TESTDATA_DIR$/src/a.kt' does not belong to any module
 error: source '$TESTDATA_DIR$/src/b.kt' does not belong to any module
@@ -7,6 +7,5 @@ This mode is not recommended for production use,
 as no stability/compatibility guarantees are given on
 compiler or generated code. Use it at your own risk!

-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 error: source '$TESTDATA_DIR$/src/a.kt' does not belong to any module
 COMPILATION_ERROR
@@ -7,6 +7,5 @@ This mode is not recommended for production use,
 as no stability/compatibility guarantees are given on
 compiler or generated code. Use it at your own risk!

-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 error: `-Xfragment-refines=c:a` Fragment `c` not found in -Xfragments arguments
 COMPILATION_ERROR
@@ -7,6 +7,5 @@ This mode is not recommended for production use,
 as no stability/compatibility guarantees are given on
 compiler or generated code. Use it at your own risk!

-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 error: -Xfragment-refines flag is specified but there is only one module declared
 COMPILATION_ERROR
@@ -7,6 +7,5 @@ This mode is not recommended for production use,
 as no stability/compatibility guarantees are given on
 compiler or generated code. Use it at your own risk!

-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 error: -Xfragment-refines flag can not be used without -Xfragments
 COMPILATION_ERROR
@@ -7,6 +7,5 @@ This mode is not recommended for production use,
 as no stability/compatibility guarantees are given on
 compiler or generated code. Use it at your own risk!

-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 error: file '$TESTDATA_DIR$/src/a.kt' can be a part of only one module, but is listed as a source for both `a` and `b`, please check you -Xfragment-sources options.
 COMPILATION_ERROR
@@ -7,6 +7,5 @@ This mode is not recommended for production use,
 as no stability/compatibility guarantees are given on
 compiler or generated code. Use it at your own risk!

-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 error: source '$TESTDATA_DIR$/src/b.kt' does not belong to any module
 COMPILATION_ERROR
@@ -7,7 +7,6 @@ This mode is not recommended for production use,
 as no stability/compatibility guarantees are given on
 compiler or generated code. Use it at your own risk!

-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 compiler/testData/cli/jvm/hmpp/src/a.kt:1:1: warning: 'expect'/'actual' classes (including interfaces, objects, annotations, enums, and 'actual' typealiases) are in Beta. You can use -Xexpect-actual-classes flag to suppress this warning. Also see: https://youtrack.jetbrains.com/issue/KT-61573
 expect class A {
 ^
@@ -7,7 +7,6 @@ This mode is not recommended for production use,
 as no stability/compatibility guarantees are given on
 compiler or generated code. Use it at your own risk!

-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 compiler/testData/cli/jvm/hmpp/src/a.kt:1:1: warning: 'expect'/'actual' classes (including interfaces, objects, annotations, enums, and 'actual' typealiases) are in Beta. You can use -Xexpect-actual-classes flag to suppress this warning. Also see: https://youtrack.jetbrains.com/issue/KT-61573
 expect class A {
 ^
@@ -1,4 +1,3 @@
-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 compiler/testData/cli/jvm/inapplicableLateinitModifier.kt:6:1: error: 'lateinit' modifier 'is not allowed on delegated properties'.
 lateinit var kest by Delegate
 ^
@@ -1,4 +1,3 @@
-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 compiler/testData/cli/jvm/instanceAccessBeforeSuperCall.kt:2:26: error: cannot access '<this>' before the instance has been initialized.
    constructor(x: Int = getSomeInt(), other: A = this, header: String = keker) {}
                         ^
@@ -1,4 +1,6 @@
 $TESTDATA_DIR$/internalArgDisableLanguageFeature.kt
 -d
 $TEMP_DIR$
+-language-version
+1.9
 -XXLanguage\:-SealedInterfaces
@@ -1,5 +1,2 @@
 warning: empty language feature name for internal argument '-XXLanguage:+'
-compiler/testData/cli/jvm/legacySmartCastsAfterTry.kt:8:9: error: only safe (?.) or non-null asserted (!!.) calls are allowed on a nullable receiver of type String?
-    some.length
-        ^
-COMPILATION_ERROR
+OK
@@ -1,6 +1,6 @@
-$TESTDATA_DIR$/variableInWhenSubject.kt
+$TESTDATA_DIR$/internalArgEnableLanguageFeature.kt
 -d
 $TEMP_DIR$
 -language-version
-1.4
-XXLanguage\:+VariableDeclarationInWhenSubject
+2.0
+-XXLanguage\:+ProhibitImplementingVarByInheritedVal
@@ -0,0 +1,9 @@
+interface Interface {
+    var a: String
+}
+
+open class Open {
+    val a: String = "default"
+}
+
+class Impl : Open(), Interface
@@ -1,11 +1,5 @@
-warning: ATTENTION!
-This build uses unsafe internal compiler arguments:
-
-XXLanguage:+VariableDeclarationInWhenSubject
-
-This mode is not recommended for production use,
-as no stability/compatibility guarantees are given on
-compiler or generated code. Use it at your own risk!
-
-warning: language version 1.4 is deprecated and its support will be removed in a future version of Kotlin
-OK
+compiler/testData/cli/jvm/internalArgEnableLanguageFeature.kt:9:1: error: 'Class Impl' overrides 'var' property 'a' with inherited 'val' property 'public final val /Open.a: kotlin/String
+    public get(): kotlin/String'.
+class Impl : Open(), Interface
+^
+COMPILATION_ERROR
@@ -1,5 +1,2 @@
 warning: incorrect internal argument syntax, missing modificator: -XXLanguage:SoundSmartCastAfterTry
-compiler/testData/cli/jvm/legacySmartCastsAfterTry.kt:8:9: error: only safe (?.) or non-null asserted (!!.) calls are allowed on a nullable receiver of type String?
-    some.length
-        ^
-COMPILATION_ERROR
+OK
@@ -2,5 +2,5 @@ $TESTDATA_DIR$/simple.kt
 -d
 $TEMP_DIR$
 -language-version
-1.4
+1.5
 -XXLanguage\:+RestrictReturnStatementTarget
@@ -1,2 +1,2 @@
-warning: language version 1.4 is deprecated and its support will be removed in a future version of Kotlin
+warning: language version 1.5 is deprecated and its support will be removed in a future version of Kotlin
 OK
@@ -1,5 +1,5 @@
-$TESTDATA_DIR$/inlineClass.kt
+$TESTDATA_DIR$/languageVersion.kt
 -d
 $TEMP_DIR$
-XXLanguage\:-InlineClasses
-XXLanguage\:+InlineClasses
+-XXLanguage\:-SuspendFunctionAsSupertype
+-XXLanguage\:+SuspendFunctionAsSupertype
@@ -1,13 +1,10 @@
 warning: ATTENTION!
 This build uses unsafe internal compiler arguments:

-XXLanguage:+InlineClasses
+-XXLanguage:+SuspendFunctionAsSupertype

 This mode is not recommended for production use,
 as no stability/compatibility guarantees are given on
 compiler or generated code. Use it at your own risk!

-compiler/testData/cli/jvm/inlineClass.kt:1:1: warning: 'inline' modifier is deprecated. Use 'value' instead
-inline class Foo(val x: Int)
-^
 OK
@@ -1,5 +1,7 @@
 $TESTDATA_DIR$/languageVersion.kt
 -d
 $TEMP_DIR$
-XXLanguage\:+SealedInterfaces
-XXLanguage\:-SealedInterfaces
+-language-version
+1.9
+-XXLanguage\:+SuspendFunctionAsSupertype
+-XXLanguage\:-SuspendFunctionAsSupertype
@@ -1,13 +1,13 @@
 warning: ATTENTION!
 This build uses unsafe internal compiler arguments:

-XXLanguage:-SealedInterfaces
+-XXLanguage:-SuspendFunctionAsSupertype

 This mode is not recommended for production use,
 as no stability/compatibility guarantees are given on
 compiler or generated code. Use it at your own risk!

-compiler/testData/cli/jvm/languageVersion.kt:3:1: error: the feature "sealed interfaces" is disabled
-sealed interface Polygon
-^
+compiler/testData/cli/jvm/languageVersion.kt:5:23: error: KSuspendFunctionN interfaces are not allowed as supertypes
+abstract class Some : KSuspendFunction0<Unit>
+                      ^
 COMPILATION_ERROR
@@ -1,5 +1,2 @@
 warning: unknown language feature 'UnknownFeature' in passed internal argument '-XXLanguage:+UnknownFeature'
-compiler/testData/cli/jvm/legacySmartCastsAfterTry.kt:8:9: error: only safe (?.) or non-null asserted (!!.) calls are allowed on a nullable receiver of type String?
-    some.length
-        ^
-COMPILATION_ERROR
+OK
@@ -1,5 +1,2 @@
 warning: flag is not supported by this version of the compiler: -XX:+SoundSmartCastAfterTry
-compiler/testData/cli/jvm/legacySmartCastsAfterTry.kt:8:9: error: only safe (?.) or non-null asserted (!!.) calls are allowed on a nullable receiver of type String?
-    some.length
-        ^
-COMPILATION_ERROR
+OK
@@ -7,7 +7,4 @@ This mode is not recommended for production use,
 as no stability/compatibility guarantees are given on
 compiler or generated code. Use it at your own risk!

-compiler/testData/cli/jvm/legacySmartCastsAfterTry.kt:8:9: error: only safe (?.) or non-null asserted (!!.) calls are allowed on a nullable receiver of type String?
-    some.length
-        ^
-COMPILATION_ERROR
+OK
@@ -1,2 +1 @@
-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 OK
@@ -1,4 +1,4 @@
-compiler/testData/cli/jvm/javaSrcWrongPackage.kt:1:13: error: unresolved reference: A
+compiler/testData/cli/jvm/javaSrcWrongPackage.kt:1:13: error: unresolved reference: A.Nested
 fun test(): A.Nested = A().nested()
            ^
 compiler/testData/cli/jvm/javaSrcWrongPackage.kt:1:24: error: unresolved reference: A
@@ -4,3 +4,5 @@ $TESTDATA_DIR$/javacKotlinJavaInterdependency/test/ClassWithTypeParameter.java
 -Xcompile-java
 -d
 $TEMP_DIR$
+-language-version
+1.9
@@ -1,3 +1,4 @@
+warning: language version 1.6 is deprecated and its support will be removed in a future version of Kotlin
 compiler/testData/cli/jvm/jspecifyUsage.kt:2:11: warning: type mismatch: inferred type is Nothing? but String was expected
    a.foo(null)
          ^
@@ -1,7 +1,4 @@
-compiler/testData/cli/jvm/jspecifyUsage.kt:2:11: warning: type mismatch: inferred type is Nothing? but String was expected
+compiler/testData/cli/jvm/jspecifyUsage.kt:2:11: error: null can not be a value of a non-null type '@EnhancedNullability kotlin/String'
    a.foo(null)
          ^
-compiler/testData/cli/jvm/jspecifyUsage.kt:3:5: warning: unsafe use of a nullable receiver of type String?
-    a.bar().hashCode()
-    ^
-OK
+COMPILATION_ERROR
@@ -1,4 +1,4 @@
-compiler/testData/cli/jvm/jspecifyUsage.kt:2:11: error: null can not be a value of a non-null type String
+compiler/testData/cli/jvm/jspecifyUsage.kt:2:11: error: null can not be a value of a non-null type '@EnhancedNullability kotlin/String'
    a.foo(null)
          ^
 COMPILATION_ERROR
@@ -1,4 +1,4 @@
-compiler/testData/cli/jvm/jsr305DefaultMigration.kt:2:19: error: null can not be a value of a non-null type String
+compiler/testData/cli/jvm/jsr305DefaultMigration.kt:2:19: error: null can not be a value of a non-null type '@EnhancedNullability kotlin/String'
    annotated.foo(null)
                  ^
 COMPILATION_ERROR
@@ -1,6 +1,6 @@
 warning: argument -Xjsr305-annotations is deprecated. Please use -Xjsr305 instead
 warning: option 'enable' for -Xjsr305 flag is deprecated. Please use 'strict' instead
-compiler/testData/cli/jvm/jsr305Usage.kt:2:11: error: null can not be a value of a non-null type String
+compiler/testData/cli/jvm/jsr305Usage.kt:2:11: error: null can not be a value of a non-null type '@EnhancedNullability kotlin/String'
    a.foo(null)
          ^
 COMPILATION_ERROR
@@ -1,4 +1,4 @@
-compiler/testData/cli/jvm/jsr305Migration.kt:3:19: error: null can not be a value of a non-null type String
+compiler/testData/cli/jvm/jsr305Migration.kt:3:19: error: null can not be a value of a non-null type '@EnhancedNullability kotlin/String'
    annotated.bar(null)
                  ^
 COMPILATION_ERROR
@@ -1,7 +1,7 @@
-compiler/testData/cli/jvm/jsr305Migration.kt:2:19: error: null can not be a value of a non-null type String
+compiler/testData/cli/jvm/jsr305Migration.kt:2:19: error: null can not be a value of a non-null type '@EnhancedNullability kotlin/String'
    annotated.foo(null)
                  ^
-compiler/testData/cli/jvm/jsr305Migration.kt:3:19: error: null can not be a value of a non-null type String
+compiler/testData/cli/jvm/jsr305Migration.kt:3:19: error: null can not be a value of a non-null type '@EnhancedNullability kotlin/String'
    annotated.bar(null)
                  ^
 COMPILATION_ERROR
@@ -1,4 +1,4 @@
-compiler/testData/cli/jvm/jsr305Migration.kt:3:19: error: null can not be a value of a non-null type String
+compiler/testData/cli/jvm/jsr305Migration.kt:3:19: error: null can not be a value of a non-null type '@EnhancedNullability kotlin/String'
    annotated.bar(null)
                  ^
 COMPILATION_ERROR
@@ -1,4 +1,4 @@
-compiler/testData/cli/jvm/jsr305Usage.kt:2:11: error: null can not be a value of a non-null type String
+compiler/testData/cli/jvm/jsr305Usage.kt:2:11: error: null can not be a value of a non-null type '@EnhancedNullability kotlin/String'
    a.foo(null)
          ^
 COMPILATION_ERROR
@@ -1,4 +1,3 @@
-warning: language version 2.0 is experimental, there are no backwards compatibility guarantees for new language and library features
 compiler/testData/cli/jvm/k2SimpleMultiplatformGenericClass/common.kt:1:1: warning: 'expect'/'actual' classes (including interfaces, objects, annotations, enums, and 'actual' typealiases) are in Beta. You can use -Xexpect-actual-classes flag to suppress this warning. Also see: https://youtrack.jetbrains.com/issue/KT-61573
 expect class AtomicRef<T> {
 ^
@@ -1,5 +1,5 @@
 $TESTDATA_DIR$/kt19628_13.kt
 -language-version
-1.4
+1.5
 -d
 $TEMP_DIR$
@@ -1,4 +1,4 @@
-warning: language version 1.4 is deprecated and its support will be removed in a future version of Kotlin
+warning: language version 1.5 is deprecated and its support will be removed in a future version of Kotlin
 compiler/testData/cli/jvm/kt19628_13.kt:5:29: error: unresolved reference: CollapsedStringAdapter
    @get:XmlJavaTypeAdapter(CollapsedStringAdapter::class)
                            ^
@@ -2,4 +2,4 @@ $TESTDATA_DIR$/languageVersion.kt
 -d
 $TEMP_DIR$
 -language-version
-1.4
+1.5
--- a/Show More
+++ b/Show More