AS is yelling at me after Kotlin 1.3, i’m assuming...

# android

[blyn]

AS is yelling at me after Kotlin 1.3, i’m assuming due to the new contracts:

private fun foo(value: String?) {
        var myString: String = ""

        if (!value.isNullOrEmpty()) {
            myString = value
        }
    }

IDE complains that there’s a type mismatch between myString and value, but the compile builds no problem (and warns if i explicitly !!). Is there anyway around this?

[orangy]

Did you update the IDE plugin? I pasted this into IJ (don’t have AS handy) and there are no issues.

[skennedy]

this exact issue works for me in AS 3.3 with the latest kotlin plugin

[blyn]

Weird, i’m getting the error on both 3.2.1 and 3.3.0-beta01

[blyn]

Sounds like it’s my environment somehow though, thanks for confirming.

[blyn]

Oh and kotlin plugin 1.3.0

[mattinger]

Is the compiler smart enough to deal with .isNullOrEmpty and know that it's no longer nullable? I know it would do this if you put != null, but not sure with the function.

[mattinger]

i suppose in 1.3 it might given the implementation:

@kotlin.internal.InlineOnly
public inline fun CharSequence?.isNullOrEmpty(): Boolean {
    contract {
        returns(false) implies (this@isNullOrEmpty != null)
    }

    return this == null || this.length == 0
}

[marstran]

@mattinger Yes, check out Contracts: https://kotlinlang.org/docs/reference/whatsnew13.html#contracts