| // RUN_PIPELINE_TILL: FRONTEND |
| // FIR_IDENTICAL |
| // LANGUAGE: +SamConversionForKotlinFunctions +SamConversionPerArgument |
| // CHECK_TYPE |
| // FILE: F.java |
| public interface F<S> { |
| void apply(S s); |
| } |
| |
| // FILE: PR.java |
| public interface PR<X, Y> {} |
| |
| // FILE: 1.kt |
| interface K<T> { |
| fun f_t(f1: F<T>, f2: F<T>) |
| fun <R> f_r(f1: F<R>, f2: F<R>) |
| fun <R> f_pr(f1: F<PR<T, R>>, f2: F<PR<T, R>>) |
| } |
| |
| fun test( |
| k: K<String>, |
| f_string: F<String>, |
| f_int: F<Int>, |
| f_pr: F<PR<String, Int>> |
| ) { |
| k.f_t(f_string) { it checkType { _<String>() } } |
| k.f_r(f_int) { it checkType { _<Int>() } } |
| k.f_pr(f_pr) { it checkType { _<PR<String, Int>>() } } |
| } |
| |
| /* GENERATED_FIR_TAGS: classDeclaration, flexibleType, funWithExtensionReceiver, functionDeclaration, functionalType, |
| infix, interfaceDeclaration, javaType, lambdaLiteral, nullableType, samConversion, typeParameter, typeWithExtension */ |
