Denis.Zharkov
2ecba6ac39
This directive anyway does not make test run twice with OI, and with NI It only once run the test with specific settings (// LANGUAGE) and ignores irrelevant (OI or NI tags)
14 lines
283 B
Kotlin
Vendored
14 lines
283 B
Kotlin
Vendored
//KT-2283 Bad diagnostics of failed type inference
|
|
package a
|
|
|
|
|
|
interface Foo<A>
|
|
|
|
fun <A, B> Foo<A>.map(f: (A) -> B): Foo<B> = object : Foo<B> {}
|
|
|
|
|
|
fun foo() {
|
|
val l: Foo<String> = object : Foo<String> {}
|
|
val m: Foo<String> = l.map { ppp -> <!ARGUMENT_TYPE_MISMATCH!>1<!> }
|
|
}
|