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

FIR IDE: Update FIR diagnostic test data for

Browse Source 
INAPPLICABLE_LATEINIT_MODIFIER.
This commit is contained in:
Mark Punzalan
2021-02-13 07:38:29 +00:00
committed by Ilya Kirillov
parent 4e44804c77
commit 2f450549ab
10 changed files with 53 additions and 83 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/fir/analysis-tests/testData/resolve/diagnostics/inapplicableLateinitModifier.kt
Vendored
+16 -16
View File
@@ -3,36 +3,36 @@ object Delegate {
operator fun setValue(instance: Any?, property: Any, value: String) {} operator fun setValue(instance: Any?, property: Any, value: String) {}
} }
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit var test: Int<!> <!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit<!> var test: Int
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit var kest by Delegate<!> <!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit<!> var kest by Delegate
lateinit var good: String lateinit var good: String
class A { class A {
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit val fest = "10"<!> <!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit<!> val fest = "10"
lateinit var mest: String lateinit var mest: String
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit var xest: String?<!> <!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit<!> var xest: String?
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit var nest: Int<!> <!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit<!> var nest: Int
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit var west: Char<!> <!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit<!> var west: Char
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit var qest: Boolean<!> <!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit<!> var qest: Boolean
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit var aest: Short<!> <!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit<!> var aest: Short
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit var hest: Byte<!> <!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit<!> var hest: Byte
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit var jest: Long<!> <!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit<!> var jest: Long
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit val dest: String <!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit<!> val dest: String
get() = "KEKER"<!> get() = "KEKER"
} }
class B<T> { class B<T> {
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit var best: T<!> <!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit<!> var best: T
} }
class C<K : Any> { class C<K : Any> {
lateinit var pest: K lateinit var pest: K
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit var vest: K?<!> <!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit<!> var vest: K?
} }
fun rest() { fun rest() {
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit var i: Int<!> <!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit<!> var i: Int
lateinit var a: A lateinit var a: A
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit var b: B<String> = B()<!> <!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit<!> var b: B<String> = B()
} }
compiler/fir/analysis-tests/testData/resolve/fromBuilder/simpleClass.kt
Vendored
+1 -1
View File
@@ -15,7 +15,7 @@ class SomeClass : SomeInterface {
get() = true get() = true
set(value) {} set(value) {}
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit var fau: Double<!> <!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit<!> var fau: Double
} }
inline class InlineClass inline class InlineClass
compiler/testData/diagnostics/tests/declarationChecks/localVariablesWithTypeParameters_1_3.fir.kt
Vendored
+1 -1
View File
@@ -9,7 +9,7 @@ fun test() {
val <T : __UNRESOLVED__> a1 = "" val <T : __UNRESOLVED__> a1 = ""
val <T : String> a2 = 0 val <T : String> a2 = 0
const val <T> a3 = 0 const val <T> a3 = 0
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit val <T> a4 = 0<!> <!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit<!> val <T> a4 = 0
val <T> a5 by Delegate<Int>() val <T> a5 by Delegate<Int>()
val <T> a6 by <!INAPPLICABLE_CANDIDATE!>Delegate<<!UNRESOLVED_REFERENCE!>T<!>>()<!> val <T> a6 by <!INAPPLICABLE_CANDIDATE!>Delegate<<!UNRESOLVED_REFERENCE!>T<!>>()<!>
} }
compiler/testData/diagnostics/tests/declarationChecks/localVariablesWithTypeParameters_1_4.fir.kt
Vendored
+1 -1
View File
@@ -9,7 +9,7 @@ fun test() {
val <T : __UNRESOLVED__> a1 = "" val <T : __UNRESOLVED__> a1 = ""
val <T : String> a2 = 0 val <T : String> a2 = 0
const val <T> a3 = 0 const val <T> a3 = 0
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit val <T> a4 = 0<!> <!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit<!> val <T> a4 = 0
val <T> a5 by Delegate<Int>() val <T> a5 by Delegate<Int>()
val <T> a6 by <!INAPPLICABLE_CANDIDATE!>Delegate<<!UNRESOLVED_REFERENCE!>T<!>>()<!> val <T> a6 by <!INAPPLICABLE_CANDIDATE!>Delegate<<!UNRESOLVED_REFERENCE!>T<!>>()<!>
} }
compiler/testData/diagnostics/tests/lateinit/local/inapplicableLateinitModifier.fir.kt
Vendored
-18
View File
@@ -1,18 +0,0 @@
// !DIAGNOSTICS: -UNUSED_VALUE -UNUSED_VARIABLE -ASSIGNED_BUT_NEVER_ACCESSED_VARIABLE
// !LANGUAGE: +LateinitLocalVariables
import kotlin.reflect.KProperty
object Delegate {
operator fun getValue(instance: Any?, property: KProperty<*>) : String = ""
operator fun setValue(instance: Any?, property: KProperty<*>, value: String) {}
}
fun test() {
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit val test0: Any<!>
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit var test1: Int<!>
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit var test2: Any?<!>
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit var test3: String = ""<!>
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit var test4 by Delegate<!>
}
compiler/testData/diagnostics/tests/lateinit/local/inapplicableLateinitModifier.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_IDENTICAL
// !DIAGNOSTICS: -UNUSED_VALUE -UNUSED_VARIABLE -ASSIGNED_BUT_NEVER_ACCESSED_VARIABLE // !DIAGNOSTICS: -UNUSED_VALUE -UNUSED_VARIABLE -ASSIGNED_BUT_NEVER_ACCESSED_VARIABLE
// !LANGUAGE: +LateinitLocalVariables // !LANGUAGE: +LateinitLocalVariables
compiler/testData/diagnostics/tests/lateinit/modifierApplicability.fir.kt
Vendored
+16 -16
View File
@@ -8,12 +8,12 @@ class CustomDelegate {
public abstract class A<T: Any, V: String?>(lateinit var p2: String) { public abstract class A<T: Any, V: String?>(lateinit var p2: String) {
<!INAPPLICABLE_LATEINIT_MODIFIER!>public lateinit val a: String<!> public <!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit<!> val a: String
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit val b: T<!> <!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit<!> val b: T
private lateinit var c: CharSequence private lateinit var c: CharSequence
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit val d: String <!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit<!> val d: String
get<!> get
public lateinit var e: String public lateinit var e: String
get get
@@ -23,22 +23,22 @@ public abstract class A<T: Any, V: String?>(lateinit var p2: String) {
lateinit var a: String lateinit var a: String
} }
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit var e1: V<!> <!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit<!> var e1: V
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit var e2: String?<!> <!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit<!> var e2: String?
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit var e3: Int<!> <!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit<!> var e3: Int
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit var e4: Int?<!> <!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit<!> var e4: Int?
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit var e5 = "A"<!> <!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit<!> var e5 = "A"
// With initializer, primitive // With initializer, primitive
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit var e6 = 3<!> <!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit<!> var e6 = 3
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit var e7 by CustomDelegate()<!> <!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit<!> var e7 by CustomDelegate()
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit var e8: String <!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit<!> var e8: String
get() = "A"<!> get() = "A"
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit var e9: String <!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit<!> var e9: String
set(v) { field = v }<!> set(v) { field = v }
abstract lateinit var e10: String abstract lateinit var e10: String
@@ -47,7 +47,7 @@ public abstract class A<T: Any, V: String?>(lateinit var p2: String) {
lateinit var String.e12: String lateinit var String.e12: String
} }
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit val topLevel: String<!> <!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit<!> val topLevel: String
lateinit var topLevelMutable: String lateinit var topLevelMutable: String
public interface Intf { public interface Intf {
compiler/testData/diagnostics/tests/lateinit/modifierApplicability_lv12.fir.kt
Vendored
+16 -16
View File
@@ -8,12 +8,12 @@ class CustomDelegate {
public abstract class A<T: Any, V: String?>(lateinit var p2: String) { public abstract class A<T: Any, V: String?>(lateinit var p2: String) {
<!INAPPLICABLE_LATEINIT_MODIFIER!>public lateinit val a: String<!> public <!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit<!> val a: String
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit val b: T<!> <!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit<!> val b: T
private lateinit var c: CharSequence private lateinit var c: CharSequence
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit val d: String <!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit<!> val d: String
get<!> get
public lateinit var e: String public lateinit var e: String
get get
@@ -23,22 +23,22 @@ public abstract class A<T: Any, V: String?>(lateinit var p2: String) {
lateinit var a: String lateinit var a: String
} }
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit var e1: V<!> <!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit<!> var e1: V
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit var e2: String?<!> <!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit<!> var e2: String?
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit var e3: Int<!> <!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit<!> var e3: Int
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit var e4: Int?<!> <!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit<!> var e4: Int?
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit var e5 = "A"<!> <!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit<!> var e5 = "A"
// With initializer, primitive // With initializer, primitive
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit var e6 = 3<!> <!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit<!> var e6 = 3
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit var e7 by CustomDelegate()<!> <!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit<!> var e7 by CustomDelegate()
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit var e8: String <!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit<!> var e8: String
get() = "A"<!> get() = "A"
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit var e9: String <!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit<!> var e9: String
set(v) { field = v }<!> set(v) { field = v }
abstract lateinit var e10: String abstract lateinit var e10: String
@@ -47,7 +47,7 @@ public abstract class A<T: Any, V: String?>(lateinit var p2: String) {
lateinit var String.e12: String lateinit var String.e12: String
} }
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit val topLevel: String<!> <!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit<!> val topLevel: String
lateinit var topLevelMutable: String lateinit var topLevelMutable: String
public interface Intf { public interface Intf {
compiler/testData/diagnostics/tests/properties/lateinitOnTopLevel.fir.kt
Vendored
-14
View File
@@ -1,14 +0,0 @@
// !LANGUAGE: +LateinitTopLevelProperties
object Delegate {
operator fun getValue(instance: Any?, property: Any) : String = ""
operator fun setValue(instance: Any?, property: Any, value: String) {}
}
lateinit var testOk: String
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit val testErr0: Any<!>
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit var testErr1: Int<!>
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit var testErr2: Any?<!>
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit var testErr3: String = ""<!>
<!INAPPLICABLE_LATEINIT_MODIFIER!>lateinit var testErr4 by Delegate<!>
compiler/testData/diagnostics/tests/properties/lateinitOnTopLevel.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_IDENTICAL
// !LANGUAGE: +LateinitTopLevelProperties // !LANGUAGE: +LateinitTopLevelProperties
object Delegate { object Delegate {