@uncheckedVariance in Kotlin?

Question

In seinem Vortrag Compilers are Databases präsentiert Martin Odersky eine interessante Abweichung Ecke Fall:

class Tree[-T] { 
    def tpe: T @uncheckedVariance 
    def withType(t: Type): Tree[Type] 
} 

T definiert ist kontra zu sein, weil es nützlich ist, von einer typisierten Baum zu denken (Tree[Type]) als Subtyp eines nicht typisierten Baum (Tree[Nothing]), aber nicht umgekehrt.

Normalerweise würde der Scala-Compiler über T beschweren, der als Rückgabetyp der tpe-Methode erscheint. Deshalb schließt Martin den Compiler mit einer @uncheckedVariance Annotion.

Hier ist das Beispiel Kotlin übersetzt:

abstract class Tree<in T> { 
    abstract fun tpe(): T 
    abstract fun withType(t: Type): Tree<Type> 
} 

Da der Kotlin Compiler über T erwartet, beschwert sich in einem 'aus' Stelle erscheinen. Hat Kotlin etwas ähnliches wie @uncheckedVariance? Oder gibt es einen besseren Weg, um dieses spezielle Problem zu lösen?

Answer 1

Kotlin hat eine @UnsafeVariance Anmerkung, die ein Äquivalent zu @uncheckedVariance in scala ist:

abstract class Tree<in T> { 
    abstract fun tpe(): @UnsafeVariance T 
    abstract fun withType(t: Type): Tree<Type> 
}