/kt45461_12.kt:14:19: warning: type argument for a type parameter S can't be inferred because it has incompatible upper bounds: String, K (multiple incompatible classes: String, Number). This will become an error in Kotlin 2.0
    Bar<String>().takeFoo(foo) // error in 1.3.72, no error in 1.4.31
                  ^

