FILE: Test.kt
    public final fun test(x: R|kotlin/String?|): R|kotlin/Unit| {
        lval y: R|kotlin/String?| = Q|JavaUtil|.R|/JavaUtil.id*s|<R|kotlin/String?|>(R|<local>/x|)
        R|<local>/y|.R|kotlin/String.length<Inapplicable(UNSAFE_CALL): kotlin/String.length>#|
        R|kotlin/requireNotNull|<R|kotlin/String|>(R|<local>/y|)
        lval ok: R|kotlin/Int| = R|<local>/y|.R|kotlin/String.length|
        lval z: R|kotlin/String?| = Q|JavaUtil|.R|/JavaUtil.id*s|<R|kotlin/String?|>(R|<local>/x|)
        R|<local>/z|.R|kotlin/String.length<Inapplicable(UNSAFE_CALL): kotlin/String.length>#|
        R|kotlin/requireNotNull|<R|kotlin/String|>(R|<local>/z|)
        lval ok2: R|kotlin/Int| = R|<local>/z|.R|kotlin/String.length|
    }
