Nikolay Lunyak
fedadfb8db
K1 reports `ARGUMENT_TYPE_MISMATCH` and `TOO_MANY_ARGUMENTS` together, and one way to do it in K2 is to say that their kinds of inapplicability difference is not relevant to the user. Note that K1 doesn't do such filtering, so this change "makes K2 closer to K1", but still different. ^KT-62541 Fixed fixup! [FIR] Show ARGUMENTS_MAPPING_ERROR diagnostics along with INAPPLICABLE
26 lines
732 B
Kotlin
Vendored
26 lines
732 B
Kotlin
Vendored
// WITH_STDLIB
|
|
|
|
// FILE: test.kt
|
|
val bar2 by <!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER, NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>bar2<!><!NO_VALUE_FOR_PARAMETER!>()<!>
|
|
|
|
// FILE: lt/neworld/compiler/Foo.kt
|
|
package lt.neworld.compiler
|
|
|
|
class Foo {
|
|
val bar by <!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER, NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>bar<!><!NO_VALUE_FOR_PARAMETER!>()<!>
|
|
}
|
|
|
|
// FILE: lt/neworld/compiler/bar/Bar.kt
|
|
package lt.neworld.compiler.bar
|
|
|
|
import kotlin.properties.ReadOnlyProperty
|
|
import kotlin.reflect.KProperty
|
|
|
|
fun <T, V> bar() = Bar<T, V>()
|
|
|
|
class Bar<T, V> : ReadOnlyProperty<T, V> {
|
|
override fun getValue(thisRef: T, property: KProperty<*>): V {
|
|
TODO("Not yet implemented")
|
|
}
|
|
}
|