compiler/testData/diagnostics/tests/inference/topLevelIntersection.kt

// !DIAGNOSTICS: -UNUSED_PARAMETER -UNUSED_VARIABLE -UNUSED_EXPRESSION

interface Bound1
interface Bound2
object First : Bound1, Bound2
object Second : Bound1, Bound2

fun <S : Bound1> select(vararg args: S): S = TODO()

class Cls {
    val property = select(First, Second)
}

fun test() {
    val v = Cls().property
    <!DEBUG_INFO_EXPRESSION_TYPE("Bound1")!>v<!>
}