FILE: test.kt
    package jvm

    public final fun <K> select(x: R|K|, y: R|K|): R|K| {
        ^select R|<local>/x|
    }
    public final fun test(d1: R|jvm/DiagnosticWithParameters1<*, *>|, d2: R|jvm/DiagnosticWithParameters2<*, *, *>|): R|kotlin/Unit| {
        lval res: R|kotlin/Any!| = R|jvm/select|<R|kotlin/Any!|>(R|<local>/d1|.R|jvm/DiagnosticWithParameters1.a|, R|<local>/d2|.R|jvm/DiagnosticWithParameters2.b|)
    }
