erokhins

Code fragment:

fun test() = 1 // comment

Kotlin code fragment:

fun test2() = 2 // comment

erokhins

// FILE: 1.kt
package p3

class A {
    fun <T> test(a: List<T>): Int {
        println("Function 1")
        return 1
    }
    fun test(b: List<Int>) {
        println("Function 2")

erokhins

// FILE: 1.kt
package p3

class A {
    fun<T> inTransaction(block: (tran: String) -> T): T {
        println("Function 1")
        return block("")
    }

    fun inTransaction(block: (tran: String) -> Unit) {

erokhins

Allow out type parameter to safely occur in in position

• Type: Design proposal
• Author: Viacheslav Makarov
• Status: Draft

Summary

Reduce the need in @UnsafeVariance. Allow covariant types to have non-private methods with non-covariant signature. To protect class' covariance, out-project signatures