| // RUN_PIPELINE_TILL: BACKEND |
| // FIR_IDENTICAL |
| // DIAGNOSTICS: -UNUSED_VARIABLE |
| |
| // FILE: Base.java |
| public interface Base { |
| <T> String foo(T a); |
| <T> int foo(T a, Object... args); |
| } |
| |
| // FILE: Derived.java |
| public interface Derived extends Base { |
| } |
| |
| // FILE: test.kt |
| fun testDerived(base: Base, derived: Derived) { |
| val test1: String = base.foo("") |
| val test2: String = derived.foo("") |
| } |
| |
| /* GENERATED_FIR_TAGS: flexibleType, functionDeclaration, javaFunction, javaType, localProperty, propertyDeclaration, |
| stringLiteral */ |
