Kotlin und obere Typgrenzen mit Kovarianz

Question

Unterstützt Kotlin obere/untere Grenzen in einer Kovarianzeinstellung. Beispiel I

class Foo<out T> { 
    fun or<U of T or greater>(other: U): <U> = ... 
} 

die in Scala

class Foo[+T] { 
    def or[U >: T](other: U): U = ... 
} 

Aber der Compiler scheint nicht das mögen würde sagen wollen, klagt sie über die covarianceness des Typs Parameter T.

Answer 1

Kotlin unterstützt an dieser Stelle keine Untergrenzen. Manchmal können Sie mit der Definition einer Erweiterungsfunktion statt eines Elements durchkommen:

fun <T> Foo<T>.or(other: T): T = ...