Generic Constraints: Lower Bound

[mcoolive]

Seams related to this other design discussion

Covariance and generic constraints in Kotlin

Since the check for variance positions of generic types hasn't been implemented yet, I'm having hard time to figure out the Kotlin code equivalent to following Scala code: class Stock[+T](private val contents: List[T]) {   def add[U &gt;: T](item: U) = new Stock[U](item :: contents)   def getAll(): Iterable[T] = contents } Is the following Kotlin code supposed to be allowed? class Stock<out T> {   var contents = java.util.ArrayList<T>()   fun add<U>(item: U) where U : T {   contents.add…