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