azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[FIR] Support @LowPriorityInOverloadResolution annotation

Browse Source
This commit is contained in:
Dmitriy Novozhilov
2020-02-26 12:45:26 +03:00
parent 4454a0681b
commit 296ee2da4a
9 changed files with 58 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/testData/diagnostics/testsWithStdLib/inference/annotationsForResolve/noInferAndLowPriority.fir.kt
Vendored
+2 -2
View File
@@ -11,6 +11,6 @@ public fun <T> Iterable<T>.contains1(element: @kotlin.internal.NoInfer T): Boole
fun test() {
val a: Boolean = listOf(1).<!AMBIGUITY!>contains1<!>("")
val b: Boolean = listOf(1).<!AMBIGUITY!>contains1<!>(1)
val a: Boolean = listOf(1).contains1("")
val b: Boolean = listOf(1).contains1(1)
}
compiler/testData/diagnostics/testsWithStdLib/inference/annotationsForResolve/onlyInputTypesAndLowPriority.fir.kt
Vendored
+2 -2
View File
@@ -19,8 +19,8 @@ public fun <K, V> Map<K, V>.get1(key: Any?): Int = null!!
public fun <@kotlin.internal.OnlyInputTypes K, V> Map<out K, V>.get1(key: K): V? = null!!
fun test(map: Map<Int, String>) {
val a: Int = listOf(1).<!AMBIGUITY!>contains1<!>("")
val b: Boolean = listOf(1).<!AMBIGUITY!>contains1<!>(1)
val a: Int = listOf(1).contains1("")
val b: Boolean = listOf(1).contains1(1)
val c: String? = map.get1("")
val d: String? = map.get1(1)