// "Add 'kotlin.Any' as upper bound for E" "true" // ERROR: Type parameter bound for U in

fun <T : kotlin.Any, U : kotlin.Any> foo

(

x: T,

y: U

)

: kotlin.Int

is not satisfied: inferred type F is not a subtype of kotlin.Any fun foo(x: T, y: U) = 1 fun bar(x: E, y: F) = foo(x, y)