arrayOf(null)

val data = Array(customerInfoList.size) { arrayOf<CustomerInfo?>(null)}

inline fun blah(
	flush: Boolean = false,
	action: String = "Unknown",
	account: Any? = null,
	entities: MutableList<Any> = mutableListOf<Any>(),
	f1: (em: EntityManager) -> MutableList<Any>? = { em -> mutableListOf<Any>() },
	f2: (em: EntityManager) -> Unit = { em -> Unit }
): Result {

   
	return Result( ...  )
}

blah { em ->
    // return nothing here
}

blah { em -> 
    mutableListOf("1", "2", "3")
}

= () { em ->

()

lru.systemOptions.removeIf { option -> option.systemOptionId == systemOptionType.systemOptionId }
lru.systemOptions.add(systemOption)

lru = lruRepository.save(lru)

lru.systemOptions

sealed class In<T>
data class InInt(val v: Int) : In<Int>()
data class InStr(val v: String) : In<String>()

sealed class Out<T>
data class OutInt(val v: Int) : Out<Int>()
data class OutStr(val v: String) : Out<String>()

fun <T> testTypeInference(i: In<T>) : Out<T> = when(i) {
    is InInt -> OutInt(i.v + 1)
    is InStr -> OutStr("Hello!" + i.v)
}

i

OutInt

when

T

Int

Inferred type was OutInt but Out<T> was expected

OutInt

Out<T>

T

as Out<T>

as Out<T>

as OutInt

Out<T>

OutInt

OutString

inline fun <T,reified R: Out<T>> testTypeInference(i: In<T>) : R = when(i) {
    is InInt -> OutInt(i.v + 1) as R
    is InStr -> OutStr("Hello!" + i.v) as R
}

as R

when

inline fun <T,reified R: Out<T>> testTypeInference(i: In<T>) : R = when(i) {
    is InInt -> OutInt(i.v + 1) 
    is InStr -> OutStr("Hello!" + i.v) 
} as R

Out<T>