Files
kotlin-fork/compiler/testData/diagnostics/tests/nullabilityAndSmartCasts/kt244.kt
T
Alexander Udalov a7b88e9485 Make CharSequence.length a function instead of property
And String.length as well.

This is done for JVM interoperability: java.lang.CharSequence is an open class
and has a function 'length()' which should be implemented in subclasses
somehow.

A minor unexpected effect of this is that String.length() is now a compile-time
constant (it wasn't such as a property because properties are not supported in
compile-time constant evaluation)

 #KT-3571 Fixed
2014-11-27 20:38:17 +03:00

34 lines
796 B
Kotlin

package kt244
// KT-244 Use dataflow info while resolving variable initializers
fun f(s: String?) {
if (s != null) {
<!DEBUG_INFO_SMARTCAST!>s<!>.length() //ok
var <!UNUSED_VARIABLE!>i<!> = <!DEBUG_INFO_SMARTCAST!>s<!>.length() //error: Only safe calls are allowed on a nullable receiver
System.out.println(<!DEBUG_INFO_SMARTCAST!>s<!>.length()) //error
}
}
// more tests
class A(a: String?) {
val b = if (a != null) <!DEBUG_INFO_SMARTCAST!>a<!>.length() else 1
{
if (a != null) {
val <!UNUSED_VARIABLE!>c<!> = <!DEBUG_INFO_SMARTCAST!>a<!>.length()
}
}
val i : Int
{
if (a is String) {
i = <!DEBUG_INFO_SMARTCAST!>a<!>.length()
}
else {
i = 3
}
}
}