[NI] Fix ambiguity when there are no applicable candidates

#KT-35064 Fixed
This commit is contained in:
Mikhail Zarechenskiy
2020-01-10 13:57:22 +03:00
parent 8d3e4a2965
commit 6fe61c9056
9 changed files with 90 additions and 2 deletions
@@ -0,0 +1,20 @@
// !DIAGNOSTICS: -UNUSED_PARAMETER -UNUSED_VARIABLE
// !LANGUAGE: +NewInference
import kotlin.reflect.KFunction1
import kotlin.reflect.KFunction2
object Foo {
fun <T> bar(fn: KFunction1<T, Boolean>): String = ""
fun <T, U> bar(fn: KFunction2<T, U, Boolean>): Int = 10
}
class A
class B
fun A.test() = true // everything is OK without this line
fun B.test() = true
fun main() {
val x = Foo.bar(B::test) // ambiguity in NI
}
@@ -0,0 +1,20 @@
// !DIAGNOSTICS: -UNUSED_PARAMETER -UNUSED_VARIABLE
// !LANGUAGE: +NewInference
import kotlin.reflect.KFunction1
import kotlin.reflect.KFunction2
object Foo {
fun <T> bar(fn: KFunction1<T, Boolean>): String = ""
fun <T, U> bar(fn: KFunction2<T, U, Boolean>): Int = 10
}
class A
class B
fun A.test() = true // everything is OK without this line
fun B.test() = true
fun main() {
val x = Foo.bar(B::test) // ambiguity in NI
}
@@ -0,0 +1,28 @@
package
public fun main(): kotlin.Unit
public fun A.test(): kotlin.Boolean
public fun B.test(): kotlin.Boolean
public final class A {
public constructor A()
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
}
public final class B {
public constructor B()
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
}
public object Foo {
private constructor Foo()
public final fun </*0*/ T> bar(/*0*/ fn: kotlin.reflect.KFunction1<T, kotlin.Boolean>): kotlin.String
public final fun </*0*/ T, /*1*/ U> bar(/*0*/ fn: kotlin.reflect.KFunction2<T, U, kotlin.Boolean>): kotlin.Int
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
}
@@ -12,5 +12,5 @@ fun <T, R : Number> bar(f: (T) -> Inv<R>, p: String = "") {}
fun <T, R : Base> bar(f: (T) -> Inv<R>, p: Int = 4) {}
fun test() {
<!OVERLOAD_RESOLUTION_AMBIGUITY!>bar<!>(::<!DEBUG_INFO_MISSING_UNRESOLVED!>foo<!>)
bar(::foo)
}