arkivanov · May 10, 2019 15:57
diff --git a/java_invariance_in_kotlin_4.kt b/java_invariance_in_kotlin_4.kt
 fun bar(consumer: Consumer<in String>) {
    if (consumer is Subject) {
        val value: String = consumer.value // Compilation error
    }
 }

 fun foo(consumer: Consumer<CharSequence>) {
    bar(consumer)
 }

 interface Subject<T> : Consumer<T> {
    val value: T
 }
	fun bar(consumer: Consumer<in String>) {
	if (consumer is Subject) {
	val value: String = consumer.value // Compilation error
	}
	}

	fun foo(consumer: Consumer<CharSequence>) {
	bar(consumer)
	}

	interface Subject<T> : Consumer<T> {
	val value: T
	}