| // RUN_PIPELINE_TILL: FRONTEND | |
| // DIAGNOSTICS: -UNUSED_PARAMETER | |
| // CHECK_TYPE | |
| // FILE: Foo.java | |
| import kotlin.Unit; | |
| import kotlin.jvm.functions.Function1; | |
| class Foo { | |
| interface FObject<T> { | |
| void invoke(T i); | |
| } | |
| public String foo(FObject<Integer> f) { return ""; } | |
| public int foo(Function1<Integer, Unit> f) { return 1; } | |
| public String bar(FObject<Object> f) { return ""; } | |
| public int bar(Function1<Integer, Unit> f) { return 1; } | |
| } | |
| // FILE: 1.kt | |
| fun test() { | |
| Foo().foo {} checkType { _<Int>() } | |
| Foo().bar {} checkType { _<String>() } | |
| } | |
| /* GENERATED_FIR_TAGS: classDeclaration, flexibleType, funWithExtensionReceiver, functionDeclaration, functionalType, | |
| infix, javaFunction, javaType, lambdaLiteral, nullableType, samConversion, typeParameter, typeWithExtension */ |