FILE: main.kt
    public final fun explicitNullableReceiver(): R|kotlin/Unit| {
        Q|J|.R|/J.id*s|<R|kotlin/String?|>(String(abc)).R|kotlin/String.length<Inapplicable(UNSAFE_CALL): kotlin/String.length>#|
    }
    public final fun inferredNullableReceiver(x: R|kotlin/String?|): R|kotlin/Unit| {
        Q|J|.R|/J.id*s|<R|kotlin/String?|>(R|<local>/x|).R|kotlin/String.length<Inapplicable(UNSAFE_CALL): kotlin/String.length>#|
    }
    public final fun explicitNonNullBaseline(): R|kotlin/Unit| {
        Q|J|.R|/J.id*s|<R|kotlin/String!|>(String(abc)).R|kotlin/String.length|
    }
    public final fun nullableSmartCastAfterCall(x: R|kotlin/String?|): R|kotlin/Unit| {
        lval y: R|kotlin/String?| = Q|J|.R|/J.id*s|<R|kotlin/String?|>(R|<local>/x|)
        when () {
            !=(R|<local>/y|, Null(null)) ->  {
                R|<local>/y|.R|kotlin/String.length|
            }
        }

    }
