Brian Norman
01a757cbd6
Currently, PROPERTY_WITH_NO_TYPE_NO_INITIALIZER is reported for local variables, but not reported for member or top-level properties. Add a check to the common `checkPropertyInitializer` for when a property type cannot be determined from the getter. This also corrects a K1 versus K2 inconsistency, where K2 would allow blocks from getters to determine property type instead of only allowing expression bodies. ^KT-59935 Fixed ^KT-60117 Fixed ^KT-60123 Fixed
25 lines
794 B
Kotlin
Vendored
25 lines
794 B
Kotlin
Vendored
// !DIAGNOSTICS: -UNUSED_PARAMETER
|
|
|
|
object Delegate {
|
|
operator fun getValue(x: Any?, y: Any?): String = ""
|
|
}
|
|
|
|
fun <T> delegateFactory(p: Any) = Delegate
|
|
|
|
class C(p: Any, val v: Any) {
|
|
|
|
val test1 get() = <!UNRESOLVED_REFERENCE!>p<!>
|
|
|
|
val test2 get() = v
|
|
|
|
// NB here we can use both 'T' (property type parameter) and 'p' (primary constructor parameter)
|
|
val <T> List<T>.test3 by delegateFactory<T>(p)
|
|
|
|
<!PROPERTY_WITH_NO_TYPE_NO_INITIALIZER!>val test4<!> get() { return <!UNRESOLVED_REFERENCE!>p<!> }
|
|
|
|
<!PROPERTY_WITH_NO_TYPE_NO_INITIALIZER!>var test5<!>
|
|
get() { return <!UNRESOLVED_REFERENCE!>p<!> }
|
|
set(nv) { <!UNRESOLVED_REFERENCE!>p<!>.<!DEBUG_INFO_MISSING_UNRESOLVED!>let<!> {} }
|
|
|
|
<!PROPERTY_WITH_NO_TYPE_NO_INITIALIZER!>lateinit var test6<!>
|
|
} |