A modern programming language that makes developers happier.

kotlinlang

Tricky question: is there a way to tell my code that some Java type is covariant?

<@U0F8Y5E5A> interesting. You could make a wrapper, but I have a feeling you already know this and it's not what you're after

So...I don't think that's possible...yet. But I would love to see that implemented in the future.

`typealias MyAlias&lt;T&gt; = OtherType&lt;out T&gt;` :slightly_smiling_face:

But I could not make `@UnsafeVariance` work with that in any way.

Like it is used here: <https://github.com/Kotlin/kotlinx.collections.immutable/blob/master/kotlinx-collections-immutable/src/main/kotlin/kotlinx/collections/immutable/ImmutableList.kt>