Mikhail Glukhikh
14 lines
328 B
Kotlin
Vendored
14 lines
328 B
Kotlin
Vendored
public class X {
|
|
private val x : String? = null
|
|
public val y: CharSequence?
|
|
get() = x?.subSequence(0, 1)
|
|
public fun fn(): Int {
|
|
if (y != null)
|
|
// With non-default getter smartcast is not possible
|
|
return y<!UNSAFE_CALL!>.<!>length()
|
|
else
|
|
return 0
|
|
}
|
|
}
|
|
|