Update JVM metadata version to 1.4.0

2020-01-24 18:27:40 +01:00
parent 4d93b3d5ab
commit c08c3d4d9b
9 changed files with 47 additions and 22 deletions
@@ -0,0 +1,12 @@
+@file:Suppress("INVISIBLE_MEMBER", "INVISIBLE_REFERENCE")
+package a
+
+import kotlin.internal.RequireKotlin
+
+class Outer {
+    @RequireKotlin("1.44")
+    class Nested {
+        @RequireKotlin("1.88")
+        fun f() {}
+    }
+}
@@ -0,0 +1,7 @@
+compiler/testData/compileKotlinAgainstCustomBinaries/requireKotlinInNestedClassesAgainst13/source.kt:3:19: error: 'Nested' is only available since Kotlin 1.44 and cannot be used in Kotlin 1.4
+fun test(a: Outer.Nested) {
+                  ^
+compiler/testData/compileKotlinAgainstCustomBinaries/requireKotlinInNestedClassesAgainst13/source.kt:4:7: error: 'f(): Unit' is only available since Kotlin 1.88 and cannot be used in Kotlin 1.4
+    a.f()
+      ^
+COMPILATION_ERROR
@@ -0,0 +1,5 @@
+import a.Outer
+
+fun test(a: Outer.Nested) {
+    a.f()
+}