Mikhail Zarechenskiy
22 lines
719 B
Kotlin
Vendored
22 lines
719 B
Kotlin
Vendored
// !LANGUAGE: +NewInference
|
|
// !DIAGNOSTICS: -UNUSED_PARAMETER
|
|
|
|
fun test(numbers: List<Number>) {
|
|
|
|
// Short <: R, ILT <: R => CST(Short, ILT) = Short
|
|
// => we should pick Short in such situation as it more specific
|
|
shortExpected { getShort() ?: 1 }
|
|
|
|
// Short <: R, ILT <: R, R <: Comparable<R> =>
|
|
// Short <: Comparable<R>, ILT <: Comparable<R> =>
|
|
// Comparable<Short> <: Comparable<R>, Comparable<ILT> <: Comparable<R> =>
|
|
// R <: Short, R <: ILT =>
|
|
// R := Short, R := ILT
|
|
// => we should pick Short as it more specific
|
|
shortComparable { getShort() ?: 1 }
|
|
}
|
|
|
|
fun <R> shortExpected(f: () -> R) {}
|
|
fun <R : Comparable<R>> shortComparable(f: () -> R) {}
|
|
|
|
fun getShort(): Short? = 1 |