Dmitriy Novozhilov
23 lines
357 B
Kotlin
Vendored
23 lines
357 B
Kotlin
Vendored
// !WITH_NEW_INFERENCE
|
|
// !CHECK_TYPE
|
|
|
|
package a
|
|
|
|
fun <T> id(t: T): T = t
|
|
|
|
fun <T> either(t1: T, t2: T): T = t1
|
|
|
|
fun test() {
|
|
val a: Float = id(2.0.toFloat())
|
|
|
|
val b = id(2.0)
|
|
checkSubtype<Double>(b)
|
|
|
|
val c = either<Number>(1, 2.3)
|
|
checkSubtype<Number>(c)
|
|
|
|
val d = either(11, 2.3)
|
|
checkSubtype<Any>(d)
|
|
|
|
val e: Float = id(1)
|
|
} |