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| {
        R|/takeNullableString|(Q|JavaLists|.R|/JavaLists.first*s|<R|kotlin/String?|>(R|<local>/xs|))
        R|/takeString<Inapplicable(UNSAFE_CALL): /takeString>#|(Q|JavaLists|.R|/JavaLists.first*s|<R|kotlin/String?|>(R|<local>/xs|))
        R|/takeString|(Q|JavaLists|.R|/JavaLists.first*s|<R|kotlin/String!|>(R|<local>/ys|))
        R|/takeNullableString|(Q|JavaLists|.R|/JavaLists.first*s|<R|kotlin/String!|>(R|<local>/ys|))
        lval a: R|kotlin/collections/List<kotlin/String?>| = Q|JavaLists|.R|/JavaLists.id*s|<R|kotlin/String?|>(R|<local>/xs|)
        lval b: R|kotlin/collections/List<kotlin/String>| = Q|JavaLists|.R|/JavaLists.id*s|<R|kotlin/String!|>(R|<local>/ys|)
        lval c: R|kotlin/String?| = Q|JavaLists|.R|/JavaLists.id*s|<R|kotlin/String?|>(R|<local>/xs|).R|SubstitutionOverride<kotlin/collections/MutableList.get: R|kotlin/String?|>|(Int(0))
        lval d: R|kotlin/String| = Q|JavaLists|.R|/JavaLists.id*s|<R|kotlin/String!|>(R|<local>/ys|).R|SubstitutionOverride<kotlin/collections/MutableList.get: R|kotlin/String!|>|(Int(0))
        lval badElement: R|kotlin/String| = Q|JavaLists|.R|/JavaLists.id*s|<R|kotlin/String?|>(R|<local>/xs|).R|SubstitutionOverride<kotlin/collections/MutableList.get: R|kotlin/String?|>|(Int(0))
        lval badList: R|kotlin/collections/List<kotlin/String>| = Q|JavaLists|.R|/JavaLists.id*s|<R|kotlin/String?|>(R|<local>/xs|)
    }
