FILE: capturedExpectedTypes.kt
    public final class C : R|kotlin/Any| {
        public constructor(): R|C| {
            super<R|kotlin/Any|>()
        }

        public final companion object Companion : R|kotlin/Any| {
            private constructor(): R|C.Companion| {
                super<R|kotlin/Any|>()
            }

            public final operator fun of(vararg xs: R|kotlin/IntArray|): R|C| {
                ^of R|/C.C|()
            }

        }

    }
    public abstract interface Setter<U> : R|kotlin/Any| {
        public abstract fun set(u: R|U|): R|kotlin/Unit|

    }
    public final fun test(d: R|Setter<in C>|, e: R|Setter<out C>|, f: R|Setter<*>|): R|kotlin/Unit| {
        R|<local>/d|.R|SubstitutionOverride</Setter.set: R|kotlin/Unit|>|(Q|C.Companion|.R|/C.Companion.of|())
        R|<local>/e|.R|SubstitutionOverride</Setter.set: R|kotlin/Unit|><Inapplicable(INAPPLICABLE): /Setter.set>#|(<Not a superclass of 'List' expected>#())
        R|<local>/f|.R|SubstitutionOverride</Setter.set: R|kotlin/Unit|><Inapplicable(INAPPLICABLE): /Setter.set>#|(<Not a superclass of 'List' expected>#())
        lval x: R|kotlin/Any?| = R|/select|<R|CapturedType(in C)|>(R|/materializeIn|<R|C|>(), Q|C|.R|/C.Companion.of|())
        lval y: R|kotlin/Any?| = R|/select|<R|CapturedType(in C)|>(R|/materializeIn|<R|C|>(), Q|C.Companion|.R|/C.Companion.of|())
        R|/selectDnn|<R|CapturedType(in C?)|>(R|/materializeIn|<R|C?|>(), Q|C|.R|/C.Companion.of|())
        R|/selectDnn|<R|CapturedType(in C?)|>(R|/materializeIn|<R|C?|>(), Q|C.Companion|.R|/C.Companion.of|())
    }
    public final fun <D> materializeIn(): R|Setter<in D>| {
        ^materializeIn Null(null)!!
    }
    public final fun <E> select(x: R|Setter<E>|, y: R|E|): R|E| {
        ^select R|<local>/y|
    }
    public final fun <F> selectDnn(x: R|Setter<F>|, y: R|F & Any|): R|F & Any| {
        ^selectDnn R|<local>/y|
    }
