/selectFromCovariantAndContravariantTypes.kt:18:5: warning: type argument for a type parameter V can't be inferred because it has incompatible upper bounds: A, B (multiple incompatible classes). This will become an error in a future release
    genericIn(select(a, b))
    ^^^^^^^^^

