<!-- upperBoundViolated1 -->
Type parameter bound for T in fun <R, T : List<R>> foo(r: R, list: T): Unit
 is not satisfied: inferred type Collection<Int> is not a subtype of List<Int>