kotlin-fork/compiler/testData/diagnostics/tests/smartCasts/publicVals/delegate.fir.kt

import kotlin.reflect.KProperty

class Delegate {
    operator fun getValue(thisRef: Any?, prop: KProperty<*>): String? {
        return null
    }
}

class Example {
    private val p: String? by Delegate()

    public val r: String? = "xyz"

    public fun foo(): String {
        // Smart cast is not possible if property is delegated
        return <!RETURN_TYPE_MISMATCH!>if (p != null) p else ""<!>
    }

    public fun bar(): String {
        // But is possible for non-delegated value property even if it's public
        return if (r != null) r else ""
    }
}