/selectFromCovariantAndContravariantTypes.kt:11:22: warning: parameter 'y' is never used
fun <K> select(x: K, y: K): K = x
                     ^
/selectFromCovariantAndContravariantTypes.kt:12:19: warning: parameter 'x' is never used
fun <V> genericIn(x: In<V>) {}
                  ^
/selectFromCovariantAndContravariantTypes.kt:13:20: warning: parameter 'x' is never used
fun <V> genericOut(x: Out<V>) {}
                   ^
/selectFromCovariantAndContravariantTypes.kt:16:5: warning: type argument for a type parameter V can't be inferred because it has incompatible upper bounds: A, B. This will become an error in Kotlin 1.9
    genericIn(select(a, b))
    ^
