Ilya Kirillov
17 lines
524 B
Kotlin
Vendored
17 lines
524 B
Kotlin
Vendored
// JAVAC_EXPECTED_FILE
|
|
// FILE: KotlinFile.kt
|
|
fun foo(javaClass: JavaClass<Int>) {
|
|
val a: String = javaClass.doSomething1("", 1) <!ARGUMENT_TYPE_MISMATCH!>{ p: String -> p }<!>
|
|
val b: String = javaClass.doSomething2("", 1, true) <!ARGUMENT_TYPE_MISMATCH!>{ p: Int -> p }<!>
|
|
}
|
|
|
|
// FILE: JavaClass.java
|
|
public class JavaClass<X> {
|
|
public <T> T doSomething1(T t, X x, I<T> i) { return i.run(t); }
|
|
public <T> T doSomething2(T t, X x, boolean p, I<X> i) { return i.run(t); }
|
|
}
|
|
|
|
interface I<T> {
|
|
T run(T t);
|
|
}
|