/kt45461_5.kt:5:25: warning: parameter 'foo' is never used
    fun <S : T> takeFoo(foo: Foo<in S>) {}
                        ^
/kt45461_5.kt:8:23: warning: 'Int' is a final type, and thus a value of the type parameter is predetermined
fun <K : L, L : N, N: Int> main() {
                      ^
/kt45461_5.kt:10:19: warning: type argument for a type parameter S can't be inferred because it's upper bounded by incompatible types: String, K. This will become an error in Kotlin 1.8
    Bar<String>().takeFoo(foo) // error in 1.3.72, no error in 1.4.31
                  ^
