FILE: Test.kt
    public final fun takeString(x: R|kotlin/String|): R|kotlin/Unit| {
    }
    public final fun takeNullableString(x: R|kotlin/String?|): R|kotlin/Unit| {
    }
    public final fun test(xs: R|kotlin/collections/List<kotlin/String?>|, ys: R|kotlin/collections/List<kotlin/String>|): R|kotlin/Unit| {
        lval a: R|ft<kotlin/collections/MutableList<out kotlin/String?>, kotlin/collections/List<out kotlin/String?>?>| = Q|JavaWildcards|.R|/JavaWildcards.outList*s|<R|kotlin/String?|>(R|<local>/xs|)
        lval b: R|ft<kotlin/collections/MutableList<out kotlin/String!>, kotlin/collections/List<out kotlin/String!>?>| = Q|JavaWildcards|.R|/JavaWildcards.outList*s|<R|kotlin/String!|>(R|<local>/ys|)
        lval x1: R|kotlin/String?| = R|<local>/a|.R|SubstitutionOverride<kotlin/collections/MutableList.get: R|CapturedType(out kotlin/String?)|>|(Int(0))
        lval y1: R|kotlin/String| = R|<local>/b|.R|SubstitutionOverride<kotlin/collections/MutableList.get: R|CapturedType(out kotlin/String!)|>|(Int(0))
        R|/takeNullableString|(Q|JavaWildcards|.R|/JavaWildcards.firstOut*s|<R|kotlin/String?|>(R|<local>/xs|))
        R|/takeString<Inapplicable(UNSAFE_CALL): /takeString>#|(Q|JavaWildcards|.R|/JavaWildcards.firstOut*s|<R|kotlin/String?|>(R|<local>/xs|))
        R|/takeString|(Q|JavaWildcards|.R|/JavaWildcards.firstOut*s|<R|kotlin/String!|>(R|<local>/ys|))
        R|/takeNullableString|(Q|JavaWildcards|.R|/JavaWildcards.firstOut*s|<R|kotlin/String!|>(R|<local>/ys|))
    }
